Курсы
Учебная программа специализирована по направлениям. Каждый студент за время обучения должен пройти обязательные курсы как минимум по одному направлению.
Направления
| Трек | Анализ данных | Архитектура больших систем | Верификация и валидация ПО |
| Семестр 1 | Байесовский анализ данных | Архитектура и проектирование систем | Математическая логика |
| Основы статистического обучения | Алгоритмы для параллельных и распределённых вычислений | Семантика языков программирования | |
| Семестр 2 | Методы оптимизации | Виртуализация и облачные вычисления | Теория типов и языки программирования |
| Управление ML проектами | Инфраструктура распределённых систем | Верификация моделей программ и систем | |
| Теория информации в машинном обучении | |||
| Семестр 3 | Проектирование ML систем | Технологии хранения и обработки больших данных | Языки программирования с зависимыми типами |
| Информационный поиск | Предметно-ориентированное программирование | Синтез программ | |
| Семестр 4 | Семинар по SOTA-архитектурам | Компьютерная безопасность | Важные открытые проекты по верификации ПО |
Кроме указанных курсов каждое навправление сопровождается семинаром, на котором обсуждаются последние результаты из соответствующих областей науки. В программу также входит английский язык и некоторый набор общеобразовательных дистанционных курсов.