• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Летняя школа Microsoft и ВШЭ

18 июля открылась Летняя школа программной инженерии и верификации, организованная Microsoft Research совместно с Высшей школой экономики.

Участниками школы стали 70 человек, большинство из которых — студенты старших курсов и аспиранты различных вузов. Чтобы попасть на эту учебу, им пришлось пройти заочный отбор, для которого на рассмотрение специальной комиссии необходимо было прислать одну из своих научных работ. В результате в Москве собрались молодые люди не только из разных городов России, но и из СНГ, а также из Индии, Турции, Швеции и других стран.

Занятия школы, которая посвящена проблемам верификации, безопасности, оптимизации и другим, проходят в московском офисе корпорации Microsoft в Крылатском; они будут вестись на английском языке и продлятся в общей сложности девять дней. Такая продолжительность выгодно отличает ее от многих подобных мероприятий, длительность которых зачастую не превышает пяти дней, отметил с утра в своей обзорной речи директор школы Бен Лившитц. Лекции здесь будут читать в том числе и сотрудники Microsoft Research, среди которых есть и крупные ученые-теоретики, и практики-разработчики. Помимо большого количества лекций, участникам ближе к концу школы будет предложено заняться командным исследовательским проектом и презентовать его в один из последних дней.

Участники школы
Участники школы
В первый день двое из шести основных лекторов школы открыли циклы своих выступлений. Сэр Тони Хоар, всемирно известный ученый, лауреат премии Тьюринга, автор одного из самых популярных алгоритмов сортировки, рассмотрел основы предложенной им же алгебраической системы с набором логических правил, которая на сегодняшний день активно применяется при верификации программ. Стоит отметить, что этот визит Хоара в Москву не ограничится выступлениями в школе: 25 июля он выступит с лекцией в Политехническом музее.

Второй лектор, Стефан Тобис, сотрудник Европейского центра инноваций Microsoft, начал серию занятий, посвященных использованию средства VCC для верификации программ на языке C. В его разработке сам Стефан принимал активное участие. Эти лекции демонстрируют практическое применение тех теоретических знаний, которые обсуждаются на занятиях Тони Хоара. После первого занятия участники школы получили и свое первое домашнее задание — заняться верификацией предложенного Стефаном Тобисом кода и найти в нем ошибки.

Также состоялись выступления так называемых гостевых лекторов (на протяжении работы школы они не будут вести своих циклов занятий, но будут выступать с отдельными лекциями на разные темы). Выступление Бертранда Майера сновабыло посвящено верификации, в то время как в лекциях Андрея Сабельфельда и Андрея Боханько были рассмотрены проблемы безопасности и оптимизирующей компиляции соответственно.

Завершился первый день сессией вопросов и ответов.

Михаил Дубов, студент 2 курса отделения программной инженерии ВШЭ

Вам также может быть интересно:

Отдых с умом: летние школы НИУ ВШЭ начинают набор старшеклассников

Традиционные летние школы НИУ ВШЭ — это питательная интеллектуальная среда плюс отдых в компании единомышленников. В новом сезоне ребят ждут 13 школ по разным направлениям: от химии до разработки мобильных приложений. Одарённые школьники, продемонстрировавшие выдающиеся результаты, победители известных олимпиад и конкурсов прошедшего учебного года получают скидки при оплате.

Летняя школа на Соловках — 2018

Студенты и преподаватели московского и петербургского кампусов НИУ ВШЭ представили в рамках Летней школы на Соловках проектные идеи по комплексному развитию архипелага. К ноябрю исследовательские команды готовят финальные презентации результатов своих исследований.

Первокурсников-математиков подготовили к учебе в Вышке

С 22 по 30 августа на факультете математики ВШЭ прошла летняя школа для студентов первого курса, поступивших на бакалаврские программы «Математика» и «Совместный бакалавриат ВШЭ и ЦПМ». На занятиях они разобрали темы, которым в школах не всегда уделяют внимание, но без которых изучение математики в университете затруднено.

Бакалаврская программа «Программная инженерия» получила престижную международную аккредитацию

Высокое качество подготовки студентов этой программы подтвердили эксперты Совета по аккредитации программ в области техники и технологий со штаб-квартирой в США. ABET более 85 лет занимается аккредитацией образовательных программ в области информатики, прикладных наук, техники и технологий. На сегодняшний день «Программная инженерия» — единственная в России программа, имеющая эту аккредитацию.

Нетипичный программист: как посмотреть мир, разрабатывая мобильные приложения

Вадим Дробинин в прошлом году окончил бакалаврскую программу «Программная инженерия». Сейчас он работает в Лондоне в амбициозном стартапе, который обещает перевернуть современные представления о поиске в интернете. Вопреки стереотипу о программисте-интроверте в растянутом свитере, который «прогает» ночи напролет, Вадим много путешествует, ведет блог с рецептами блюд из разных стран, преподает и участвует в крупных международных конференциях.

«Проекты, построенные на сотрудничестве вузов и бизнеса, очень важны»

В Вышке проходит Всероссийская летняя школа Мастерчейн. В ее рамках студенты впервые получают опыт работы с этой платформой за пределами банков и создают проекты для решения реальных бизнес-задач в сфере финтеха.

«Эти дети понимают нас с полуслова»

24 мая в Образовательном центре «Сириус» в Сочи завершилась программа по математике и информатике, реализованная при научно-методическом и кадровом сопровождении Высшей школы экономики. Она длилась 24 дня, в ней приняли участие почти 100 десятиклассников, увлеченных математикой и информатикой, из 34 регионов.

11 летних школ ВШЭ для одаренных детей, на которые еще можно подать заявки

Летние школы и выездные лагеря, которые организует Вышка, — это сочетание занятий с отдыхом. Их проводят для школьников преподаватели и студенты университета. В программе — лекции и семинары, интеллектуальные и деловые игры, дискуссии, театральные постановки, конкурсы и, конечно, неформальное общение.

«Ожидайте большего и от себя, и от своей страны»

В НИУ ВШЭ с лекцией «Карьера в эпоху трансформации образования и цифровой экономики» по приглашению Школы бизнес-информатики выступил вице-президент компании Microsoft Энтони Салсито. Новостная служба Вышки выделила несколько тезисов его выступления.

Как я провел лето: студентка МИЭМ НИУ ВШЭ прошла стажировку в ЦЕРН

Елена Орлова, студентка 4-го курса образовательной программы «Прикладная математика» МИЭМ НИУ ВШЭ, приняла участие в работе летней студенческой школы в ЦЕРН. В составе команды разработчиков программного комплекса GeantV она занималась моделированием прохождения элементарных частиц через вещество с использованием методов машинного обучения.