Научный семинар "Механика, управление, информатика" прошел в Институте космических исследований РАН
Наука
На семинаре по сложившейся традиции было сделано два доклада: сотрудниками НИУ ВШЭ и гостями университета.
Первый доклад представил заведующий кафедрой «Распределенные вычисления и компьютерные сети» Санкт-Петербургского политехнического университета профессор Юрий Глебович Карпов, известный специалист в области верификации распределенных вычислительных систем. В докладе «Модальные логики и многоагентные системы» Юрий Глебович изложил теорию модальных логик и попытался провести их связь с возможностью использования теории в приложении к многоагентным системам, в частности, к рою роботов. Доклад вызвал оживленную дискуссию по практической реализации теоретических идей автора, которая долго не могла затихнуть благодаря активным вопросам научного руководителя МИЭМ профессора Е.А. Крука и вице-президента ВШЭ И.Р. Агамирзяна.
Первый доклад представил заведующий кафедрой «Распределенные вычисления и компьютерные сети» Санкт-Петербургского политехнического университета профессор Юрий Глебович Карпов, известный специалист в области верификации распределенных вычислительных систем. В докладе «Модальные логики и многоагентные системы» Юрий Глебович изложил теорию модальных логик и попытался провести их связь с возможностью использования теории в приложении к многоагентным системам, в частности, к рою роботов. Доклад вызвал оживленную дискуссию по практической реализации теоретических идей автора, которая долго не могла затихнуть благодаря активным вопросам научного руководителя МИЭМ профессора Е.А. Крука и вице-президента ВШЭ И.Р. Агамирзяна.

13 февраля в рамках профориентационного семинара 1 курса образовательной программы «Прикладная математика» состоялась лекция Алексея Старобинского «Современные проблемы космологии».
24 января 2019 г. в рамках научного семинара «Коды, исправляющие ошибки, и пост-квантовая криптография» выступил д.т.н., профессор, научный руководитель, и.о. директора МИЭМ НИУ ВШЭ Евгений Крук, основной темой доклада которого являлось обсуждение криптосистем, построенных на основе решения задачи декодирования произвольного кода, исправляющего ошибки.


В рамках программы «Научный фонд НИУ ВШЭ» определены коллективные и индивидуальные исследовательские проекты, которые получат поддержку в 2019-2020 гг. Среди них есть несколько проектов преподавателей МИЭМ НИУ ВШЭ.

29 октября этого года в Москве состоялась конференция «Диверсификация ракетно-космической промышленности и продвижение продукции гражданского назначения», организованная Госкорпорацией «Роскосмос» и АО «Объединенная ракетно-космическая корпорация».
