Effective Mathematics Team
- Thomas Brihaye (Professor)
- Pierre Carlier (PhD student ERC EQualIS co-direction with the ENS Cachan)
- Julie De Pril (Postdoc F.R.S.-FNRS)
- Morgane Estiévenart (PhD student FRIA)
- Axel Haddad (Postdoc CASSTING project)
- Noémie Meunier (PhD student F.R.S.-FNRS)
- Céline Nihoul (Assistant)
- Gabriel Renault (Postdoc CASSTING project)
- Cédric Rivière (Professor)
Members and associated members
- Verification of timed and hybrid systems
- Control of timed and hybrid systems
- Game theory and its application to verification CASSTING project
- Conception of efficient algorithms for verification (based on antichains).
- Application of game theory to microfinance MIGA project
Research
Our main research interests include:
Teaching (in French)
We teach the following courses:
- Marc Ducobu (PhD student FRIA -- 2009-2013)
Past members