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

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

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

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

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

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

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

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

На втором году обучения детально обсуждаются специальные разделы современного системного программирования:

• Конфигурирование и виртуализация облачных служб и их использование для обработки больших данных
• Статический анализ и оптимизация программ 
• Безопасность программного обеспечения
• Научная визуализация.