Contact information
PhD thesis
- 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