Service de Mathématiques Effectives
- 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)
Membres et membres associés
- 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
Recherche
Nos principales activités de recherche sont:




