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