09.04.04 «программная инженерия»

«Перспективные технологии моделирования информационных систем»

Программа магистратуры
Национального исследовательского ядерного университета "МИФИ"

О программе

91
Бюджетных мест
(общий конкурс с "Информатика и вычислительная техника")
150 000 руб.
Стоимость обучения за семестр
96
Проходной балл в 2021 году
Вольфенгаген Вячеслав Эрнстович
Руководитель программы,
доктор технических наук


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

Уникальные дисциплины

Семантически безопасное информационное моделирование
Вольфенгаген Вячеслав Эрнстович, д.т.н., профессор
Рословцев Владимир Владимирович, старший преподаватель
Абстрактные вычислительные машины
Шапкин Павел Александрович, доцент
Формализмы в информационных технологиях
Шапкин Павел Александрович, доцент
Функциональное программирование
Маренков Александр Владимирович, доцент
Семантическое конфигурирование программных систем
Вольфенгаген Вячеслав Эрнстович, д.т.н., профессор
Рословцев Владимир Владимирович, старший преподаватель

Темы дипломных работ выпускников

Исследование и реализация системы генерации клиентского и серверного кода на основе библиотеки http4s по спецификации в формате OpenAPI
Исследование и реализация системы интерактивного изучения доказательств в математической логике
Исследование и разработка прототипа информационной системы, настраиваемой на семантику предметной области
Исследование и реализация сертифицированных алгоритмов в системе Coq Proof Assistant
Востребованность на рынке труда
Наши выпускники работают в ведущих компаниях отрасли
Отзывы выпускников
Контакты:
+7 800 775-15-51
доб. 0905
goit@mephi.ru