I am a full-time researcher at National Center for Scientific Research (CNRS) and affiliated with Specification and Verification Laboratory , 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.
Imprint / Impressum:
ENS Paris-Saclay, LSV
4, avenue des Sciences
Phone: +33 (0) 1 81 87 54 32