Разработка математических теоретических основ создания и применения вычислительных комплексов, систем и сетей

Области исследований

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