Research

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

Publications

Out-dated CV

Projects

ANR Ticktac (2019-2023)

Software

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.

Other

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

Teaching

Verification of Complex Systems

Lab sessions for: Analyse et Conception Formelles

Contact

  • 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