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

Since 2005

Full-Time Researcher

Centre National de la Recherche Scientifique