Grupo de investigación

Problemas de Optimización en la Ingeniería de Software

La investigación del grupo se centra principalmente en la resolución de problemas de optimización difíciles que surgen en las áreas de ingeniería de sistemas de confianza, inferencia gramatical y verificación de software.

Principales proyectos de investigación

  • Inferencia de máquinas de estado finito con algoritmos metaheurísticos.
  • Síntesis, pruebas y verificación de software de automatización industrial.
  • Ajuste de parámetros de algoritmos metaheurísticos.
  • Programación de restricciones para problemas de gráficos y autómatas.

Persona de contacto: Vladimir Ulyantsev.

Miembros del grupo

Vladimir Ulyantsev
Vladimir Ulyantsev
Responsable del laboratorio/grupo de investigación
Daniil Chivilikhin
Daniil Chivilikhin
Investigador
Ilya Zakirzyanov
Ilya Zakirzyanov
Investigador
Ekaterina Noskova
Ekaterina Noskova
Investigador
Konstantin Chukharev
Konstantin Chukharev
Investigador
Viktor Kondratiev
Viktor Kondratiev
Investigador