Летняя школа Microsoft и ВШЭ
18 июля открылась Летняя школа программной инженерии и верификации, организованная Microsoft Research совместно с Высшей школой экономики.
Участниками школы стали 70 человек, большинство из которых — студенты старших курсов и аспиранты различных вузов. Чтобы попасть на эту учебу, им пришлось пройти заочный отбор, для которого на рассмотрение специальной комиссии необходимо было прислать одну из своих научных работ. В результате в Москве собрались молодые люди не только из разных городов России, но и из СНГ, а также из Индии, Турции, Швеции и других стран.
Занятия школы, которая посвящена проблемам верификации, безопасности, оптимизации и другим, проходят в московском офисе корпорации Microsoft в Крылатском; они будут вестись на английском языке и продлятся в общей сложности девять дней. Такая продолжительность выгодно отличает ее от многих подобных мероприятий, длительность которых зачастую не превышает пяти дней, отметил с утра в своей обзорной речи директор школы Бен Лившитц. Лекции здесь будут читать в том числе и сотрудники Microsoft Research, среди которых есть и крупные ученые-теоретики, и практики-разработчики. Помимо большого количества лекций, участникам ближе к концу школы будет предложено заняться командным исследовательским проектом и презентовать его в один из последних дней.
Участники школы |
Второй лектор, Стефан Тобис, сотрудник Европейского центра инноваций Microsoft, начал серию занятий, посвященных использованию средства VCC для верификации программ на языке C. В его разработке сам Стефан принимал активное участие. Эти лекции демонстрируют практическое применение тех теоретических знаний, которые обсуждаются на занятиях Тони Хоара. После первого занятия участники школы получили и свое первое домашнее задание — заняться верификацией предложенного Стефаном Тобисом кода и найти в нем ошибки.
Также состоялись выступления так называемых гостевых лекторов (на протяжении работы школы они не будут вести своих циклов занятий, но будут выступать с отдельными лекциями на разные темы). Выступление Бертранда Майера сновабыло посвящено верификации, в то время как в лекциях Андрея Сабельфельда и Андрея Боханько были рассмотрены проблемы безопасности и оптимизирующей компиляции соответственно.
Завершился первый день сессией вопросов и ответов.
Михаил Дубов, студент 2 курса отделения программной инженерии ВШЭ
Вам также может быть интересно:
«Место, где рождаются идеи и укрепляются связи»
С 19 по 21 июня в Хабаровске состоялась летняя школа «Сетевые решения в образовании как драйвер развития региона». Она была организована в рамках совместной магистерской программы Тихоокеанского госуниверситета (ТОГУ) и НИУ ВШЭ «Управление образованием», которая на днях начала третий набор студентов. В летней школе приняли участие более 100 человек, в числе которых не только студенты, но и работники системы образования дальневосточных регионов.
Нескучная учеба: зачем Вышка проводит летние школы для старшеклассников
Каждое лето НИУ ВШЭ устраивает множество летних школ для учеников 6–11-х классов. Участники получают возможность не только познакомиться с университетом и окунуться в академическую атмосферу, но и расширить кругозор, выйти за рамки школьных знаний и навыков, завести новые знакомства. Большую часть летних школ Вышки организует факультет довузовской подготовки (ФДП).
Вышка и правительство Мурманской области объявляют набор в летнюю школу по арктической урбанистике
Высшая школа урбанистики НИУ ВШЭ в партнерстве с правительством Мурманской области, администрацией города Мурманска и Мурманским арктическим университетом (МАУ) приглашает принять участие в летней школе студентов всех факультетов Вышки. Программа посвящена комплексному исследованию нескольких районов Мурманска и рассмотрению на их примерах особенностей городской среды арктических городов.
Регистрация на Летнюю многопрофильную школу продлится до конца недели
До 26 мая включительно продолжается регистрация и прием портфолио учеников 8–10-х классов на Летнюю многопрофильную школу «Грани предпринимательства», которую НИУ ВШЭ проведет с 4 по 14 июля в Подмосковье. Участников школы ждут встречи с представителями крупных компаний, в числе которых Сбер, VK, Теlе2, КРОК, «Яков и Партнеры» и другие. Стоимость участия — 20 тысяч рублей, есть возможность получения скидки.
Лето с пользой: как ученикам 8–11-х классов стать участниками летних школ Вышки
В этом году в рамках проекта «Расти с Вышкой» НИУ ВШЭ проведет пять летних школ и выступит в качестве партнера еще одной. Все эти школы очные, рассчитаны на выпускников 8–10-х, а в ряде случаев также 11-х классов, увлеченных проектной и исследовательской деятельностью, нацеленных на обучение в университете. Участие в них платное, есть возможность получить скидку, но в любом случае необходимо пройти конкурсный отбор.
На ФКН в третий раз прошла зимняя школа по программной инженерии
Факультет компьютерных наук НИУ ВШЭ в третий раз провелзимнюю школу по программной инженерии, на которую в этом году зарегистрировалось более тысячи человек. Преподавателями школы стали представители ФКН и его компаний-партнеров — «Яндекса», Сбера, «Тинькофф», МТС.
В Вышке прошла 10-я летняя нейролингвистическая школа “Eye-tracking in the Lab and Beyond”
В этом году в школе приняли участие более 100 человек со всей России и из-за рубежа. Это уже 10-я летняя нейролингвистическая школа “Eye-tracking in the Lab and Beyond”, ежегодно проводимая Центром языка и мозга ВШЭ. Ведущие специалисты рассказали о передовых разработках и исследованиях в области видеоокулографии.
Анализ данных и персонализированная медицина: как прошла школа по кардиогенетике
Недавно в Центре непрерывного образования факультета компьютерных наук НИУ ВШЭ состоялась летняя школа «Кардиогенетика: отсеквенирования к разработке кардиопанели». Программа была организована совместно с Институтом аналитического приборостроения РАН,Институтом спектроскопии Российской академии наук и компанией «Синтол».
Старшеклассники в академической культуре: как прошла VIII Летняя историко-филологическая школа ФГН ВШЭ
В конце августа в учебном центре «Вороново» состоялась VIII Летняя историко-филологическая школа (ЛИФШ), организованная факультетом гуманитарных наук НИУ ВШЭ при поддержке Дирекции по работе с одаренными учащимися в рамках проекта «Расти с Вышкой» и экспертов Всероссийского чемпионата сочинений «Своими словами».
«Летняя школа по аналитике и Data Science — возможность получить информацию из первых уст»
В конце августа в Центре культур Вышки прошла летняя школа по аналитике и Data Science, организованная Центром непрерывного образования факультета компьютерных наук. В ней приняли участие более 300 слушателей. Доклады представили спикеры из «Яндекса», Сбера, «Тинькофф», МТС, X5 Group, Альфа-Банка, «Мегафона», «Дзена», VK, а также сотрудники ФКН.