Service de Mathématiques Effectives

Membres et membres associés

Aaron Bohy (Doctorant - Projet ARC)
Thomas Brihaye (Chargé de cours)
Julie De Pril (Aspirante F.R.S.-FNRS)
Marc Ducobu (Boursier FRIA)
Morgane Estiévenart (Boursière FRIA)
Mickael Randour (Aspirant F.R.S.-FNRS)
Cédric Rivière (Assistant)

Recherche

Nos principales activités de recherche sont:

Vérification de systèmes temporisés et hybrides
Contrôle de systèmes temporisés et hybrides
Théorie des jeux et ses applications à la vérification
Conception d'algorithmes efficaces pour la vérification
Application de la théorie des jeux à la microfinance Projet MIGA

Nos publications

Enseignement

Nous assurons les cours suivants: