Bienvenue !   

Ma bine
Michaël Cadilhac
Chercheur post-doctoral à Univ. of Oxford::Automated Verification Group
Précédemment 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


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