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