ABOUT ME
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. Previously, I was a member of the Inria team MExICo. 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.
CV
RESEARCH INTERESTS
Automata Theory
Logic
Concurrency Theory
2015
Habilitation in Computer Science
École Normale Supérieure de Cachan
2005
PhD in Computer Science (Dr. rer. nat.)
RWTH Aachen University
1994 - 2000
Studies of Computer Science
RWTH Aachen University
10/2003 - 03/2004
Research Stay funded by DAAD
University of Birmingham
2000 - 2005
Research and Teaching Assistant
RWTH Aachen University
2005 - 2019
Full-Time Researcher (Chargé de recherche)
Centre National de la Recherche Scientifique
Since 2019
Senior Researcher (Directeur de recherche)
Centre National de la Recherche Scientifique