Разработка процесс-ориентированных языков технологического программирования
Разработка теоретической базы и создание средств проектирования реактивных систем
Разработка средств спецификации требований к реактивным системам
Разработка методов верификации киберфизических систем
Разработка нейросетевых алгоритмов для целей киберфизических систем
Область интересов
Языки технологического программирования, процесс-ориентированное программирование, киберфизические системы, реактивные системы, встраиваемые системы, IoT (IIoT), сложные управляющие алгоритмы, теория конечных автоматов, модель гипер-автомата, событийный полиморфизм, семиотика и прагматика, психология программирования, массовый логический параллелизм, язык Рефлекс, язык IndustrialC, языки стандарта IEC 61131-3
