I am a full-time researcher at Centre National de la Recherche Scientifique (CNRS) and affiliated with Laboratoire Spécification et Vérification, ENS Paris-Saclay, France. I am head of the VASCO team. My research interests are in the areas of automata theory and logic, with a focus on applications in synthesis and verification of concurrent and distributed systems.
Join us at the Journées GT Vérif (17–19 November 2021), which takes place at LMF, ENS Paris-Saclay.
ENS Paris-Saclay, LSV
4, avenue des Sciences
Phone: +33 (0)1 81 87 54 32