Welcome!   

Pic
MichaŽl Cadilhac
Post-doctoral researcher at Univ. of Oxford::Automated Verification Group
Previously post-doc at Univ. TŁbingen::Theoretische Informatik
Ph.D. in computer science from Univ. de Montrťal::LITQ
Graduate from …PITA::LRDE and from Univ. Paris Diderot::LMFI


I defended my thesis on semilinear constraints in automata in Spring 2013.