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

At the time of writing, my official complete affiliation is the following:

Univ Rennes, Inria, CNRS, IRISA

Research Interests

  • Formal verification, model checking, planning and controller synthesis, game theory, real-time systems
  • Timed automata, Markov decision processes, non-zero sum games

PhD Students


Out-dated CV


ANR Ticktac (2019-2023)


Symrob: Symbolic robustness analysis tool for timed automata.

Tiamo: A timed automata model checker developed by Maximilien Colange.

AbsSynthe: A tool for synthesizing circuits with safety specifications. See the synthesis competition, the source code and its developer Guillermo A. Perez.


Türkçe Akademik Teknik Terimler Sözlüğü


Verification of Complex Systems

Lab sessions for: Analyse et Conception Formelles


  • 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