Направления исследований: 

1. Модели, методы и алгоритмы проектирования, анализа, трансформации, верификации и тестирования программ и программных систем.

2. Языки программирования и системы программирования, семантика программ.

3. Модели, методы, архитектуры, алгоритмы, языки и программные инструменты организации взаимодействия программ и программных систем.

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

5. Программные системы символьных вычислений.

 6. Операционные системы.

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

8. Модели и методы создания программ и программных систем для параллельной и распределенной обработки данных, языки и инструментальные средства параллельного программирования.

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

10. Оценка качества, стандартизация и сопровождение программных систем.

Руководители: Крючкова Е.Н. (кандидат физико-математических наук, доцент)