Летняя школа Microsoft и ВШЭ
18 июля открылась Летняя школа программной инженерии и верификации, организованная Microsoft Research совместно с Высшей школой экономики.
Участниками школы стали 70 человек, большинство из которых — студенты старших курсов и аспиранты различных вузов. Чтобы попасть на эту учебу, им пришлось пройти заочный отбор, для которого на рассмотрение специальной комиссии необходимо было прислать одну из своих научных работ. В результате в Москве собрались молодые люди не только из разных городов России, но и из СНГ, а также из Индии, Турции, Швеции и других стран.
Занятия школы, которая посвящена проблемам верификации, безопасности, оптимизации и другим, проходят в московском офисе корпорации Microsoft в Крылатском; они будут вестись на английском языке и продлятся в общей сложности девять дней. Такая продолжительность выгодно отличает ее от многих подобных мероприятий, длительность которых зачастую не превышает пяти дней, отметил с утра в своей обзорной речи директор школы Бен Лившитц. Лекции здесь будут читать в том числе и сотрудники Microsoft Research, среди которых есть и крупные ученые-теоретики, и практики-разработчики. Помимо большого количества лекций, участникам ближе к концу школы будет предложено заняться командным исследовательским проектом и презентовать его в один из последних дней.
 |
| Участники школы |
Второй лектор, Стефан Тобис, сотрудник Европейского центра инноваций Microsoft, начал серию занятий, посвященных использованию средства VCC для верификации программ на языке C. В его разработке сам Стефан принимал активное участие. Эти лекции демонстрируют практическое применение тех теоретических знаний, которые обсуждаются на занятиях Тони Хоара. После первого занятия участники школы получили и свое первое домашнее задание — заняться верификацией предложенного Стефаном Тобисом кода и найти в нем ошибки.
Также состоялись выступления так называемых гостевых лекторов (на протяжении работы школы они не будут вести своих циклов занятий, но будут выступать с отдельными лекциями на разные темы). Выступление Бертранда Майера сновабыло посвящено верификации, в то время как в лекциях Андрея Сабельфельда и Андрея Боханько были рассмотрены проблемы безопасности и оптимизирующей компиляции соответственно.
Завершился первый день сессией вопросов и ответов.
Михаил Дубов, студент 2 курса отделения программной инженерии ВШЭ
Вам также может быть интересно:
«Это незабываемые впечатления, я сохраню их навсегда»: как проходит Международная летняя школа Питерской Вышки
Международная летняя школа Питерской Вышки в самом разгаре — именно сейчас зарубежные студенты из 12 стран активно посещают лекции и наслаждаются культурной программой. Поговорили с некоторыми из них о самых ярких впечатлениях.
В учебном центре «Вороново» завершилась Летняя проектная школа по коммуникациям ВШЭ
Факультет креативных индустрий и Центр взаимодействия с регионами НИУ ВШЭ запустили новую совместную смену в рамках проекта «Академия школьников» — Летнюю проектную школу по коммуникациям. Она прошла в формате выездного образовательного курса по коммуникациям и проектной работе и объединила старшеклассников из Москвы, Московской области, Екатеринбурга, Тольятти, Сургута и Махачкалы.
«Ценим готовность педагогов совершенствовать профессиональные знания и навыки»
Каждый год Центр взаимодействия с регионами ВШЭ организует курсы повышения квалификации для учителей и администраторов школ Университетского образовательного округа. На этот раз в традиционной летней школе приняли участие 573 слушателя. Занятия проходят онлайн, что позволило пройти обучение специалистам, находящимся в самых разных часовых поясах.
«Навсегда в моем сердце»: участники ЛМШ-2024 открыли новые грани предпринимательства
Завершилась Летняя многопрофильная школа «Грани предпринимательства», организованная Дирекцией по работе с одаренными учащимися НИУ ВШЭ. Ее программу подготовили и реализовали преподаватели Высшей школы бизнеса НИУ ВШЭ при участии ведущих российских компаний. Участниками ЛМШ, которая прошла с 4 по 14 июля на базе подмосковного санатория «Буран», стали 100 выпускников 8–10-х классов из 22 регионов России.
«Почувствуйте Север»: в Мурманске завершилась Арктическая летняя школа
Правительство Мурманской области, Высшая школа урбанистики имени А.А. Высоковского (ВШУ) факультета городского и регионального развития НИУ ВШЭ и Мурманский арктический университет (МАУ) провели Арктическую летнюю школу. Две недели 18 студентов двух университетов под руководством тьюторов работали с несколькими районами Мурманска, подробно анализируя их территории, проводя полевые исследования и готовя проектные предложения по их развитию в синхронизации с разрабатываемым мастер-планом агломерации.
Завершила работу I Летняя школа для студентов, аспирантов и молодых ученых «Религия и право»
В начале июля в Высшей школе экономики состоялась летняя школа для молодых исследователей по религии и праву. Мероприятие было организовано Научно-образовательной теологической ассоциацией (НОТА), НИУ ВШЭ, Общецерковной аспирантурой и докторантурой имени святых равноапостольных Кирилла и Мефодия (ОЦАД) и Московской духовной академией (МДА). Участниками стали представители 15 вузов из 14 регионов.
В Вышке стартовала XI Российско-китайская летняя школа по международным отношениям
1 июля состоялась торжественная церемония открытия XI Международной российско-китайской летней школы по международным отношениям «Партнерство и сотрудничество в пространствах нового миропорядка». Организаторами выступили факультет мировой экономики и мировой политики НИУ ВШЭ совместно с Центром комплексных европейских и международных исследований ВШЭ. Студенты магистратуры и аспирантуры из разных стран мира приехали в Москву изучать международные отношения и вместе придумывать новый мировой порядок.
«Место, где рождаются идеи и укрепляются связи»
С 19 по 21 июня в Хабаровске состоялась летняя школа «Сетевые решения в образовании как драйвер развития региона». Она была организована в рамках совместной магистерской программы Тихоокеанского госуниверситета (ТОГУ) и НИУ ВШЭ «Управление образованием», которая на днях начала третий набор студентов. В летней школе приняли участие более 100 человек, в числе которых не только студенты, но и работники системы образования дальневосточных регионов.
Нескучная учеба: зачем Вышка проводит летние школы для старшеклассников
Каждое лето НИУ ВШЭ устраивает множество летних школ для учеников 6–11-х классов. Участники получают возможность не только познакомиться с университетом и окунуться в академическую атмосферу, но и расширить кругозор, выйти за рамки школьных знаний и навыков, завести новые знакомства. Большую часть летних школ Вышки организует факультет довузовской подготовки (ФДП).
Вышка и правительство Мурманской области объявляют набор в летнюю школу по арктической урбанистике
Высшая школа урбанистики НИУ ВШЭ в партнерстве с правительством Мурманской области, администрацией города Мурманска и Мурманским арктическим университетом (МАУ) приглашает принять участие в летней школе студентов всех факультетов Вышки. Программа посвящена комплексному исследованию нескольких районов Мурманска и рассмотрению на их примерах особенностей городской среды арктических городов.