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

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

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

О программе

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


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

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

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

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

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