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
Vladimir Ulyantsev
Chef de laboratoire/groupe de recherche
Daniil Chivilikhin
Daniil Chivilikhin
Chercheur
Ilya Zakirzyanov
Ilya Zakirzyanov
Chercheur
Ekaterina Noskova
Ekaterina Noskova
Chercheur
Dmitrii Suvorov
Dmitrii Suvorov
Chercheur
Konstantin Chukharev
Konstantin Chukharev
Chercheur