Groupe de recherche
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.
Membres du groupe

Vladimir Ulyantsev
Chef de laboratoire/groupe de recherche

Daniil Chivilikhin
Chercheur

Ilya Zakirzyanov
Chercheur

Ekaterina Noskova
Chercheur

Dmitrii Suvorov
Chercheur

Konstantin Chukharev
Chercheur