Welcome!   

Pic
MichaŽl Cadilhac
Post-doctoral researcher at Univ. of Oxford::Automated Verification Group
Research associate at University College
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
2014-2017
2009-2013
2002-2007


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