Welcome!   

Researcher at Univ. TŁbingen::Theoretische Informatik
Ph.D. in computer science from UdeM::LITQ
Graduate from …PITA::LRDE and from LMFI


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