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