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
Responsable del laboratorio/grupo de investigación

Daniil Chivilikhin
Investigador

Ilya Zakirzyanov
Investigador

Ekaterina Noskova
Investigador

Dmitrii Suvorov
Investigador

Konstantin Chukharev
Investigador