Bienvenue !   

Ma bine
Michaël Cadilhac
Chercheur à Univ. Tübingen::Theoretische Informatik
Docteur en informatique de l'UdeM::LITQ
Diplômé de l'ÉPITA::LRDE et du M2R LMFI


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