I am mainly interested formal verification, especially model-checking. My current focus is on verification of timed systems, and of Büchi properties.
Lead developper of TiAMo, a prototype of model-checker for Timed Automata and Weighted Timed Automata.
Contributor to spaction, a prototype of model-checker that deals with properties with discrete quantitative information.
Contributor to the platform CosyVerif.
Developer of Crocodile, a state-space generator for Symmetric Nets with Bags, as a proof of concept of the combination of symmetries and decision diagrams.