ABOUT ME

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.  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

Cachan Higher Normal School

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

Scientific Research National Center

Since 2019

Senior Researcher

Scientific Research National Center