Contact information
Postdoc in the FORESTS project
- Topic Using verification techniques to solve real-time scheduling problems
- Advisors Gilles Geeraerts and Joël Goossens
- Location Université Libre de Bruxelles, Team Formal methods and verification
PhD thesis: defended on November 25, 2013
- Topic Quantitative verification of timed automata (frequencies, probabilities, volume, topology...)
- Advisors Nathalie Bertrand and Thierry Jéron
- Location INRIA Rennes-Bretagne atlantique
- Grant Ministerial allocation (MENRT) given by the University of Rennes 1 for the period from october 2010 to october 2013
- Teaching Mission at the Ecole normale supérieure de Cachan antenne de Bretagne with some hours at the Institut national des sciences appliquées