Service de Mathématiques Effectives
News: RP 2016
- Thomas Brihaye (Chargé de cours)
- Pierre Carlier (Doctorant ERC EQualIS co-tutelle avec l'ENS Cachan)
- Julie De Pril (Chargée de recherche F.R.S.-FNRS)
- Axel Haddad (Postdoctorant projet CASSTING)
- Noémie Meunier (Aspirante F.R.S.-FNRS)
- Céline Nihoul (Assistante)
- Cédric Rivière (Chargé de cours)
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 CASSTING project
- Conception d'algorithmes efficaces pour la vérification
- Application de la théorie des jeux à la microfinance MIGA project
Recherche
Nos principales activités de recherche sont:
Enseignement
Nous assurons les cours suivants:
- Marc Ducobu (Doctorant FRIA -- 2009-2013)
- Morgane Estiévenart (Doctorante FRIA -- 2011-2015)
- Gabriel Renault (Postdoctorant projet CASSTING -- 2014-2015)
Anciens membres