Activités de recherche
Nos intérêts principaux en recherche se situent en vérification et synthèse assistée par ordinateur : théorie des jeux et ses applications à la vérification et la synthèse de systèmes, vérification et contrôle des automates temporisés et des systèmes hybrides.
Nos autres centres d’intérêt concernent la théorie des automates, la combinatoire sur les mots, les codes à longueur variable, et la théorie extrémale des graphes.
Notre service est, par ailleurs rattaché à un institut de recherche de l’UMONS :
