Куриленко Иван Евгеньевич, к.т.н. сфера научных исследований
Сфера научных интересов Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах Построение интеллектуальных систем управление крупными парковочными комплексами Исследование и разработка архитектур современных программных систем
Сфера научных интересов Разработка алгоритмов пошагового уточнения решения задач на графе по мере изменения графа Исследование и разработка перспективных компонент современных CASE-средств Технологии построения виртуальных машин
Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах
Исследование и разработка алгоритмов вывода для временной логики TLM Разработка кроссплатформенной системы временных рассуждений (проект.time) Разработка алгоритмов пошагового уточнения решения задач временного вывода по мере поступления новой информации Разработка системы классификации нештатных ситуаций для интеллектуальной системы управления крупными парковочными комплексами (проект Технологии sPARK 2.X)
Построение интеллектуальных систем управление крупными парковочными комплексами
Разработка управляющей логики Средства мониторинга и диагностики Средства автоматической защиты от противодействия человека Когнитивная графика Современные методы построения программных систем Системы и средства автоматизации процессов разработки и тестирования крупных программных комплексов (проект Технологии sPARK 2.X)
Исследование и разработка архитектур современных программных систем
Разработка и реализация концепции и средств поддержки разработки приложений с управляемой программной архитектурой (проект Технологии sPARK 2.X) Реализация системы, обеспечивающей построение программных средств в архитектуре EDA (Event Driven Architecture) (проект Технологии sPARK 2.X)
Исследование и разработка перспективных компонент современных CASE-средств
Исследование и разработка средств автоматизации сборки крупных проектов (проект Component Builder) Разработка методов и средств автоматизации тестирования (проект Automatic Test Framework) Разработка средств автоматизации кодирования (проект Panter)
Технологии построения виртуальных машин
Разработка отечественной кросплатформенной LISP-машины (проект Megalith)
Разработка алгоритмов пошагового уточнения решения задач на графе по мере изменения графа