Методы доказательного программирования и оптимизационных преобразований программ, исследования и разработка решений для систем интеллектуальной обработки данных и безотказного функционирования компьютерных систем

Научная тема объединяет в себе несколько разных направлений исследований, касающихся различных областей информатики и кибернетики, которые кратко описаны ниже. Разработка подходов и средств новой продуктивной методологии создания компьютерных программ, основанных на метавычислениях в общем и на частичных вычислениях в частности. Приближение метавычислений к эффективному практическому применению. Реализация методов и средств интерактивных метавычислений. Развитие методов моделирования распределённых недетерминированных систем с бесконечным числом состояний и верификации свойств моделей программ, манипулирующих строками символов, средствами суперкомпиляции и абстрактной интерпретации. Развитие методов технологии суперкомпиляции: развитие языка, основанного на языке уравнений в словах, для описания свойств и инвариантов параметризованных состояний программ и разработка новых алгоритмов анализа и преобразования соответствующих описаний. Разработка и реализация программных средств поддержки адаптивной стратегии параллельных вычислений в системе динамического распараллеливания OpenTS с целью эффективного исполнения максимально широкого класса ресурсоемких программ и алгоритмов на гибридных суперЭВМ. Автоматизация и интеллектуализация мониторинга состояния растений в контролируемой среде с использованием методов и алгоритмов обработки и анализа изображений и пространственных данных. Математическое моделирование и расчет оптимальных конфигураций оптических стереосистем, являющихся частью систем компьютерного зрения. Разработка и исследование методов интеллектуальной обработки данных для поддержки принятия решений в системах различного назначения. Исследование и разработка методов обеспечения безотказного функционирования информационных, коммуникационных и управляющих систем. Доказательство фундаментальных взаимосвязей различных концепций компьютерных вычислений с логическими и математическими понятиями.