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

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

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

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

Контактное лицо: Владимир Ульянцев (vl.ulyantsev@gmail.com).

Новости

More posts

Публикации