Contact information

Research interests
I'm interested in model-checking, infinite state, probabilistic and timed systems.
Some projects I am/was involved in:
- VACSIM Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle
- STP Tournesol project on Probabilistic Timed Systems (2009-2011)
- PIPS Procope project on Partial Information Probabilistic Systems (2008-2010)
- TESTEC TEst des Systèmes Temps réel Embarqués Critiques (2008-2011)
- COMBEST COMponent-Based Embedded Systems design Techniques (2008-2011)
- 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.