I am currently undergoing a thesis at the IRISA laboratory, in the SUMO team, under the supervision of Nicolas Markey and Thierry Jéron. My subjects of interest are analysis of timed systems and models (Timed automata) and the link between (formal) testing and learning.
Since May 2019, I animate and co-organize a seminar of non-permanent members of the SUMO and LogicA team named Makushita. Our purpose is to help young members (aka us) to exchange on exciting subjects, help them to know each other('s work) better, and train some presentations, especially for undergrad interns. If you want to receive invitations for talks or propose one, contact me! You can also register to the list directly via the list page (INRIA login required). Some of the presentation slides are available here (thanks Hugo for this!).Download Resume (2020)
You can also consult my dblp bibliography.
Bureau C208, Irisa/Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France