Contact information
Research
I'm interested in model-checking, infinite state and probabilistic systems.
Some projects I am/was involved in:
- COMBEST COMponent-Based Embedded Systems design Techniques
- PIPS Procope project on Partial Information Probabilistic Systems
- TESTEC TEst des Systèmes Temps réel Embarqués Critiques
- ACI Persée (2003-2006)
- VOSS II (2006-2007)
I defended my PhD thesis in October 2006 and spent a year at TU Dresden as a post-doc.
Teaching
I give a lecture on Timed Automata in the VTS module of 2nd year Master recheche Informatique.Informations on my past teaching activities (2004/2006) are on my previous webpage, see "Monitorat" (in french only).