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

• Компьютерное моделирование (КМ)
• Верификация программных систем (ВИС)
• Программная инженерия (ПИ)
• Надежные методы передачи и хранения информации (НМ)

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

Базовая часть 

• Основы объектно-ориентированного моделирования в  среде RMD (КМ)
• Программная инженерия (ПИ)
• Математическая логика в информатике (ВИС)
• Основы передачи информации (НМ)
• Сетевые технологии
• Имитационное моделирование (КМ)
• Научно-исследовательская работа
• Педагогическая практика
• Производственная практика
• Преддипломная практика

Вариативная часть

Обязательные дисциплины

• Параллельное и распределенное программирование
• Технологии разработки распределенных систем
• Архитектура систем управления реляционными базами данных
• История и методология компьютерного моделирования
• Научный семинар

Дисциплины по выбору

Группа 1

• Практическое моделирование сложных систем (КМ)
• Управление программными проектами (ПИ)

Группа 2

• Верификация распределенных алгоритмов и систем (ВИС)
• Помехоустойчивое кодирование (НМ)

Группа 3

• Инфокоммуникационные системы и сети
• Анализ текстов на естественных языках

Группа 4

• Среды и языки визуального моделирования (КМ)
• Разработка специализированных систем

Группа 5

• Прикладные методы математической логики в информационных системах (ВИС)
• Системы хранения данных (НМ)

Группа 6

• Объектно-ориентированные CASE-технологии
• Системы доказательства теорем