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

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

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

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

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

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

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

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