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