Since 2021: Head of Artificial Intelligence Group at LMF
2017 – 2020: Head of VASCO Group at LSV
Since 2019: Directeur de recherche at CNRS
2005 – 2019: Chargé de recherche at CNRS
2000 – 2005: Research and teaching assistant, RWTH Aachen University
2015: Habilitation in Computer Science, ENS Cachan
2005: PhD in Computer Science (Dr. rer. nat.), RWTH Aachen University
October 2003 – March 2004: Research stay at University of Birmingham, partly funded by DAAD
2000: Master in Computer Science, RWTH Aachen University
2020 – 2021: President of ANR Comité d’évaluation scientifique 48
2019 – 2022: Co-leader of axis Scilex of Labex DigiCosme
2019: Member of ANR Comité d’évaluation scientifique 48
2018: Member of ANR Comité d’évaluation scientifique 40
2018 – 2019: Member of Conseil académique de l’Université Paris-Saclay
2011 – 2015: Member of Commission scientifique Inria Saclay
Best paper award at CONCUR 2020 for the article Bounded Reachability Problems Are Decidable in FIFO Machines (joint work with Alain Finkel and Amrita Suresh)
Best paper award at CONCUR 2018 for the article It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with “Happened Before” (joint work with Marie Fortin and Paul Gastin)