Системное программирование: программа магистратуры

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

Дисциплины программы:

• Методология компьютерных технологий
• Семинар по ИТ технологиям
• Непрерывные математические модели
• Интернет технологии
• Структурное проектирование больших программных комплексов
• Защита информации
• Вероятностные модели в информатике
• Теория алгоритмов
• Информационное обеспечение компьютерных систем
• Представление знаний
• Компьютерные сети
• Статистические методы обработки изображений

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

• Новейшие технологии компьютерной графики/Экономико-математические модели
• Параллельные вычисления/Инструментальные средства высокопроизводительных вычислений
• Верификация распределенных алгоритмов и протоколов/Страховая математика
• Использование графических процессоров для вычислений/Управление разработкой программного обеспечения