Bienvenue !   

Ma bine
Michaël Cadilhac
Chercheur post-doctoral à Univ. of Oxford::Automated Verification Group
Chercheur associé à University College
Post-doc à Univ. Tübingen::Theoretische Informatik
Docteur en informatique de l'Univ. de Montréal::LITQ
Diplômé de l'ÉPITA::LRDE et du M2R Univ. Paris Diderot::LMFI
2014-2017
2009-2013
2002-2007


Au printemps 2013, j'ai défendu ma thèse (en anglais) portant sur les contraintes semilinéaires dans les automates.