Руководитель к.т.н., доц. Пустоваров В.И.

Работа ведется на базе направлении "Обобщенные методы автоматизации программирования, системного программирования и инженерии знаний".

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