Исследовательская группа

Проблемы оптимизации в программной инженерии

Исследования группы направлены на решение сложных задач оптимизации, возникающих в областях разработки ответственных систем, грамматического вывода и верификации программного обеспечения.

Группа занимается следующими направлениями:

  • генерация конечных автоматов при помощи метаэвристических алгоритмов;
  • синтез, тестирование и верификация приложений промышленной автоматики;
  • настройка значений параметров метаэвристических алгоритмов;
  • решение графовых и конечно-автоматных задач при помощи программирования в ограничениях.

Контактное лицо: Владимир Ульянцев.

Состав

Владимир Ульянцев
Владимир Ульянцев
Руководитель лаборатории/группы
Илья Закирзянов
Илья Закирзянов
Исследователь
Екатерина Носкова
Екатерина Носкова
Исследователь
Даниил Чивилихин
Даниил Чивилихин
Исследователь
Константин Чухарев
Константин Чухарев
Исследователь