О программе обучения
Модели, методы и алгоритмы проектирования, анализа, трансформации, верификации и тестирования программ и программных систем; Языки программирования и системы программирования, семантика программ; Модели, методы, архитектуры, алгоритмы, языки и программные инструменты организации взаимодействия программ и программных систем; Интеллектуальные системы машинного обучения, управления базами данных и знаний, инструментальные средства разработки цифровых продуктов; Программные системы символьных вычислений; Операционные системы; Модели, методы, алгоритмы, облачные технологии и программная инфраструктура организации глобально распределенной обработки данных и др.