Слайд 2Сфера научных интересов
Исследование и разработка методов и программных средств временного (темпорального) вывода
![Сфера научных интересов Исследование и разработка методов и программных средств временного (темпорального)](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-1.jpg)
в интеллектуальных системах
Построение интеллектуальных систем управление крупными парковочными комплексами
Исследование и разработка архитектур современных программных систем
Слайд 3Сфера научных интересов
Разработка алгоритмов пошагового уточнения решения задач на графе по мере
![Сфера научных интересов Разработка алгоритмов пошагового уточнения решения задач на графе по](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-2.jpg)
изменения графа
Исследование и разработка перспективных компонент современных CASE-средств
Технологии построения виртуальных машин
Слайд 4Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных
![Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-3.jpg)
системах
Слайд 5Исследование и разработка алгоритмов вывода для временной логики TLM
Разработка кроссплатформенной системы временных
![Исследование и разработка алгоритмов вывода для временной логики TLM Разработка кроссплатформенной системы](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-4.jpg)
рассуждений
(проект .time)
Разработка алгоритмов пошагового уточнения решения задач временного вывода по мере поступления новой информации
Разработка системы классификации нештатных ситуаций для интеллектуальной системы управления крупными парковочными комплексами
(проект Технологии sPARK 2.X)
Слайд 6Построение интеллектуальных систем управление крупными парковочными комплексами
![Построение интеллектуальных систем управление крупными парковочными комплексами](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-5.jpg)
Слайд 7Разработка управляющей логики
Средства мониторинга и диагностики
Средства автоматической защиты от противодействия человека
Когнитивная графика
Современные
![Разработка управляющей логики Средства мониторинга и диагностики Средства автоматической защиты от противодействия](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-6.jpg)
методы построения программных систем
Системы и средства автоматизации процессов разработки и тестирования крупных программных комплексов
(проект Технологии sPARK 2.X)
Слайд 8Исследование и разработка архитектур современных программных систем
![Исследование и разработка архитектур современных программных систем](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-7.jpg)
Слайд 9Разработка и реализация концепции и средств поддержки разработки приложений с управляемой программной
![Разработка и реализация концепции и средств поддержки разработки приложений с управляемой программной](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-8.jpg)
архитектурой
(проект Технологии sPARK 2.X)
Реализация системы, обеспечивающей построение программных средств в архитектуре EDA (Event Driven Architecture)
(проект Технологии sPARK 2.X)
Слайд 10Исследование и разработка перспективных компонент современных CASE-средств
![Исследование и разработка перспективных компонент современных CASE-средств](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-9.jpg)
Слайд 11Исследование и разработка средств автоматизации сборки крупных проектов
(проект Component Builder)
Разработка методов
![Исследование и разработка средств автоматизации сборки крупных проектов (проект Component Builder) Разработка](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-10.jpg)
и средств автоматизации тестирования
(проект Automatic Test Framework)
Разработка средств автоматизации кодирования
(проект Panter)
Слайд 12Технологии построения виртуальных машин
![Технологии построения виртуальных машин](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-11.jpg)
Слайд 13Разработка отечественной кросплатформенной LISP-машины (проект Megalith)
![Разработка отечественной кросплатформенной LISP-машины (проект Megalith)](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/409591/slide-12.jpg)