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.