I am a CNRS researcher at Irisa, Rennes, in the SUMO team.

Previously, I was a Post-doc at ULB, and member of the ERC inVEST project.
See the verification group at ULB.

Research Interests

  • Formal verification, model checking, controller synthesis, game theory, discrete-event systems
  • Automata theory, timed automata, Markov decision processes, (non-zero) games on graphs




Tiamo: A timed automata model checker

Symrob: Symbolic robustness analysis tool for timed automata.

AbsSynthe: A tool for synthesizing circuits with safety specifications. We won the first prize in the sequential synthesis track of the synthesis competition in FLOC 2014. The improved version written in C++ is available here, and again won the sequential synthesis track of 2015 synthesis competition. See the SYNT14-15 papers.

Recent Talks

All talks

Program Committees


I was a teaching assistant in ENS Cachan in 2010-2013.


  • Address Irisa
    Campus Universitaire de Beaulieu
    35042 Rennes cedex - France
  • Phone +33 (0)2 99 84 22 80
  • Fax +33 (0)2 99 84 71 71