Летняя школа Microsoft и ВШЭ
18 июля открылась Летняя школа программной инженерии и верификации, организованная Microsoft Research совместно с Высшей школой экономики.
Участниками школы стали 70 человек, большинство из которых — студенты старших курсов и аспиранты различных вузов. Чтобы попасть на эту учебу, им пришлось пройти заочный отбор, для которого на рассмотрение специальной комиссии необходимо было прислать одну из своих научных работ. В результате в Москве собрались молодые люди не только из разных городов России, но и из СНГ, а также из Индии, Турции, Швеции и других стран.
Занятия школы, которая посвящена проблемам верификации, безопасности, оптимизации и другим, проходят в московском офисе корпорации Microsoft в Крылатском; они будут вестись на английском языке и продлятся в общей сложности девять дней. Такая продолжительность выгодно отличает ее от многих подобных мероприятий, длительность которых зачастую не превышает пяти дней, отметил с утра в своей обзорной речи директор школы Бен Лившитц. Лекции здесь будут читать в том числе и сотрудники Microsoft Research, среди которых есть и крупные ученые-теоретики, и практики-разработчики. Помимо большого количества лекций, участникам ближе к концу школы будет предложено заняться командным исследовательским проектом и презентовать его в один из последних дней.
 |
| Участники школы |
Второй лектор, Стефан Тобис, сотрудник Европейского центра инноваций Microsoft, начал серию занятий, посвященных использованию средства VCC для верификации программ на языке C. В его разработке сам Стефан принимал активное участие. Эти лекции демонстрируют практическое применение тех теоретических знаний, которые обсуждаются на занятиях Тони Хоара. После первого занятия участники школы получили и свое первое домашнее задание — заняться верификацией предложенного Стефаном Тобисом кода и найти в нем ошибки.
Также состоялись выступления так называемых гостевых лекторов (на протяжении работы школы они не будут вести своих циклов занятий, но будут выступать с отдельными лекциями на разные темы). Выступление Бертранда Майера сновабыло посвящено верификации, в то время как в лекциях Андрея Сабельфельда и Андрея Боханько были рассмотрены проблемы безопасности и оптимизирующей компиляции соответственно.
Завершился первый день сессией вопросов и ответов.
Михаил Дубов, студент 2 курса отделения программной инженерии ВШЭ
Вам также может быть интересно:
От секвенирования к разработке кардиопанели: как прошла летняя школа по кардиогенетике
С 19 по 29 августа Центр непрерывного образования факультета компьютерных наук НИУ ВШЭ совместно с Институтом аналитического приборостроения РАН, Институтом спектроскопии РАН и компанией «Синтол» провел летнюю школу «Кардиогенетика: от секвенирования к разработке кардиопанели». Школа проводилась в рамках Федеральной научно-технической программы развития генетических технологий на 2019–2027 годы (проект 15.ИП.21.0004).
Школа по ML в биоинформатике: «отличная возможность для нетворкинга и изучения нового материала»
Факультет компьютерных наук НИУ ВШЭ провел ежегодную летнюю школу по машинному обучению в биоинформатике, слушателями которой стали более 300 человек из разных университетов, институтов и организаций. Всего на событие зарегистрировались более 800 человек. Трехдневная программа включала в себя лекции и семинары.
Летняя школа по аналитике и Data Science в НИУ ВШЭ собрала более 400 слушателей
В конце августа в Центре культур Вышки прошла Летняя школа по аналитике и Data Science, организованная Центром непрерывного образования факультета компьютерных наук. Более 400 участников слушали выступления спикеров из «Яндекса», Ozon, X5 Group, VK, МТС, «Авито», Альфа-Банка, «Купера», ecom.tech, Wildberries, «Вкусно — и точка», «Эйч», а также сотрудников ФКН.
Курсы по возобновляемой энергии, кунг-фу и китайскому языку: что еще студенты Вышки изучали на летних школах вузов КНР
24 студента бакалавриата и магистратуры Международного института экономики и финансов НИУ ВШЭ на каникулах побывали в Китае, где приняли участие в летних школах ведущих университетов. Учебные заведения предоставили десятки разнообразных курсов на выбор: от экономики и права до танцев и спорта. Сегодня студенты делятся впечатлениями от обучения и поездки.
«Это незабываемые впечатления, я сохраню их навсегда»: как проходит Международная летняя школа Питерской Вышки
Международная летняя школа Питерской Вышки в самом разгаре — именно сейчас зарубежные студенты из 12 стран активно посещают лекции и наслаждаются культурной программой. Поговорили с некоторыми из них о самых ярких впечатлениях.
В учебном центре «Вороново» завершилась Летняя проектная школа по коммуникациям ВШЭ
Факультет креативных индустрий и Центр взаимодействия с регионами НИУ ВШЭ запустили новую совместную смену в рамках проекта «Академия школьников» — Летнюю проектную школу по коммуникациям. Она прошла в формате выездного образовательного курса по коммуникациям и проектной работе и объединила старшеклассников из Москвы, Московской области, Екатеринбурга, Тольятти, Сургута и Махачкалы.
«Ценим готовность педагогов совершенствовать профессиональные знания и навыки»
Каждый год Центр взаимодействия с регионами ВШЭ организует курсы повышения квалификации для учителей и администраторов школ Университетского образовательного округа. На этот раз в традиционной летней школе приняли участие 573 слушателя. Занятия проходят онлайн, что позволило пройти обучение специалистам, находящимся в самых разных часовых поясах.
«Навсегда в моем сердце»: участники ЛМШ-2024 открыли новые грани предпринимательства
Завершилась Летняя многопрофильная школа «Грани предпринимательства», организованная Дирекцией по работе с одаренными учащимися НИУ ВШЭ. Ее программу подготовили и реализовали преподаватели Высшей школы бизнеса НИУ ВШЭ при участии ведущих российских компаний. Участниками ЛМШ, которая прошла с 4 по 14 июля на базе подмосковного санатория «Буран», стали 100 выпускников 8–10-х классов из 22 регионов России.
«Почувствуйте Север»: в Мурманске завершилась Арктическая летняя школа
Правительство Мурманской области, Высшая школа урбанистики имени А.А. Высоковского (ВШУ) факультета городского и регионального развития НИУ ВШЭ и Мурманский арктический университет (МАУ) провели Арктическую летнюю школу. Две недели 18 студентов двух университетов под руководством тьюторов работали с несколькими районами Мурманска, подробно анализируя их территории, проводя полевые исследования и готовя проектные предложения по их развитию в синхронизации с разрабатываемым мастер-планом агломерации.
Завершила работу I Летняя школа для студентов, аспирантов и молодых ученых «Религия и право»
В начале июля в Высшей школе экономики состоялась летняя школа для молодых исследователей по религии и праву. Мероприятие было организовано Научно-образовательной теологической ассоциацией (НОТА), НИУ ВШЭ, Общецерковной аспирантурой и докторантурой имени святых равноапостольных Кирилла и Мефодия (ОЦАД) и Московской духовной академией (МДА). Участниками стали представители 15 вузов из 14 регионов.