Problèmes d’optimisation dans l’ingénierie logicielle

Les recherches du groupe se concentre principalement sur la résolution de problèmes d’optimisation difficiles dans les domaines de l’ingénierie des systèmes fiables, de l’inférence grammaticale et de la vérification logicielle.

Nos principaux projets de recherche

• Inférence de machine à état fini avec des algorithmes métaheuristes.
• Synthèse, tests et vérification des logiciels d’automatisation industrielle.
• Réglage des paramètres des algorithmes méthaheuristes.
• Programmation par contraintes pour les problèmes de graphiques et d'automates.

Personne à contacter : Vladimir Ouliatsev.