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