Grupo de pesquisa

Problemas de Otimização em Engenharia de Software

A pesquisa do grupo se concentra principalmente na resolução de difíceis problemas de otimização que surgem nas áreas de engenharia de sistemas confiáveis, inferência gramatical e verificação de software.

Nossos principais projetos de pesquisa

  • Inferência de máquinas de estado finito com algoritmos metaheurísticos.
  • Síntese, testes e verificação de softwares de automação industrial.
  • Ajuste de parâmetros de algoritmos metaheurísticos.
  • Programação de restrições para problemas de gráficos e autômatos.

Pessoa para contato: Vladimir Ulyantsev.

Membros do Grupo

Vladimir Ulyantsev
Vladimir Ulyantsev
Chefe de Laboratório/Grupo de Pesquisa
Daniil Chivilikhin
Daniil Chivilikhin
Pesquisador
Ilya Zakirzyanov
Ilya Zakirzyanov
Pesquisador
Ekaterina Noskova
Ekaterina Noskova
Pesquisador
Dmitrii Suvorov
Dmitrii Suvorov
Pesquisador
Konstantin Chukharev
Konstantin Chukharev
Pesquisador