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

Языки программирования: трансляторы, реинжиниринг, синтаксический и статический анализ (Я.А. Кириленко, Д.Ю.Булычев, Д.С.Косарев, С.В.Григорьев, Д.В.Луцив), функциональное, логическое, реляционное программирование (Д.Ю.Булычев)

Верификация, символьное исполнение программ (Д.Ю.Булычев, Д.А.Мордвинов)

Разработка приложений для архитектуры RISC-V (К.К.Смирнов, С.В.Григорьев)

Технология программирования: визуальное моделирование ПО, предметно-ориентированное моделирование, DSLs, анализ Software Data, разработка технической документации (Д.В. Кознов, Д.В. Луцив)

Управление данными: архитектура данных предприятия, данные сетевых устройств, мастер-данные (Д.В.Кознов), системы хранения данных, дедупликация, менеджеры томов, SPDK (В.И.Гориховский, А.И.Васенина)

Статистика, машинное обучение (В.И.Гориховский, С.В.Григорьев, К.К.Смирнов)

Задачи на графах, вычислительные задачи, алгоритмы для GPU (С.В. Григорьев)

Телекоммуникации (И.В.Зеленчук, Д.В.Кознов)

Стохастическая оптимизация, рандомизированные алгоритмы, квантовые компьютеры (О.Н.Граничин, С.С.Сысоев)

Компьютерное зрение, машинное обучение, фотограмметрия (М.Н.Смирнов)