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