Effective Mathematics Team
- Thomas Brihaye (Professor)
- Julie De Pril (PhD student F.R.S.-FNRS)
- Marc Ducobu (PhD student FRIA)
- Cédric Rivière (Assistant)
Members and associated members
- Verification of timed and hybrid systems
- Control of timed and hybrid systems
- Game theory and its application to verification
- Conception of efficient algorithms for verification (based on antichains).
Research
Our main research interests include:
-
Teaching (in French)
We teach the following courses:




