Curriculum Vitae
Short bio
My research is in computer science, at the intersection of formal methods and machine learning. My interests include program synthesis, games, and automata, and more recently the reliability of learning systems, with a focus on using formal methods to make AI systems safer.
I am a senior researcher at CNRS (Directeur de recherche), working at LaBRI in Bordeaux, where I have been a researcher since 2018 and head of the Synthesis team since 2024. I lead the Bordeaux pole of SAIF (Safe AI using Formal Methods), part of the French national programme PEPR IA, and I coordinated and co-authored the textbook Games on Graphs (Cambridge University Press, 2026). Our work has appeared at venues in both communities, including AAAI, NeurIPS, ICALP, LICS, and CAV, and a paper on POMDPs received an Outstanding Paper Award at AAAI 2025. I also maintain open-source tools for program synthesis and reinforcement learning, published in the Journal of Open Source Software.
I was a research fellow at The Alan Turing Institute in London (2017 to 2022), at the Simons Institute in Berkeley, and a research assistant at the University of Oxford, and I spent the academic year 2022 to 2023 visiting the University of Warsaw. I defended my PhD in October 2015, jointly between Paris 7 and Warsaw, after studying at ENS Cachan, and my habilitation (HDR) in February 2022.
Get in touch:
Open positions
No open positions at the moment
Current Positions
Senior Researcher (Directeur de recherche)
Head of the Synthesis team
CNRS, LaBRI, Bordeaux
Past Positions
Junior researcher (Chargé de recherche)
CNRS, LaBRI, Bordeaux
Visiting Researcher
Automata group
University of Warsaw
Research Fellow
Theoretical Foundations of Computer Systems
Simons Institute, University of Berkeley
Research Fellow
Logical Foundations of Data Science
The Alan Turing Institute of Data Science, London
Research Fellow
Logical structures in Computation
Simons Institute, University of Berkeley
Research Associate
Dynamical Systems
University of Oxford
Education
PhD in Computer Science
Counting and Randomising in Automata Theory
Paris 7 & Warsaw
Masters in Computer Science and Mathematics
Parisian Master in Computer Science (MPRI) and Mathematical Logic and Foundations of Computer Science (LMFI)
ENS Cachan
Awards
Outstanding Paper Award, AAAI
Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
AAAI Conference on Artificial Intelligence. 3 awards among about 3,000 accepted papers and 12,000 submissions
ELLIS Member
European Laboratory for Learning and Intelligent Systems
The pan-European AI network of excellence
Teaching & Supervision
Students and researchers
23 interns, 6 PhD students (all defended), 3 research engineers, and 5 postdoctoral researchers
Large Language Models
MVA: Mathématiques, Vision, Apprentissage
ENS Paris-Saclay
Theory and Practice of Machine Learning
IA Master
University of Bordeaux
Reinforcement Learning
ENSEIRB-MATMECA
Bordeaux INP
Research
Selection of Five Invited Talks
Tutorial speaker
Is Program Synthesis Soluble in Large Language Models?
POPL: Symposium on Principles of Programming Languages
Invited survey lecture
Games on graphs
Jewels of Automata
Tutorial speaker
Machine Learning meets Program Synthesis
POPL: Symposium on Principles of Programming Languages, and PFIA: Plate-Forme Intelligence Artificielle
Tutorial speaker
Machine-learning guided program synthesis
ECAI: European Conference on Artificial Intelligence
Invited speaker
Parity games: the quasipolynomial era
GanDALF: International Symposium on Games, Automata, Logics, and Formal Verification
Talks in research groups
- GDR IA Seminar (France, Online)
- IARCS Verification Seminar Series (India, Online)
- AI and Dynamical Systems Day in the Mathematics Institute (Toulouse)
- Automata Theory and Applications: Games, Learning and Structures (Singapore > Online)
- Methods and Algorithms for Control in LAAS (Toulouse > Online)
- Göttingen-Kassel Theory Seminar (Kassel > Online)
- CityAI seminar (London > Online)
- London School of Economics (London, UK)
- RWTH i5 and i7 (Aachen, Germany)
- 68NQRT (Rennes, France)
- LSV (Cachan, France)
- MoVe (Marseille, France)
- LaBRI (Bordeaux, France)
- DIMAP (Warwick, UK)
- Theory group (Cambridge, UK)
- Algorithms group (Liverpool, UK)
- PUMA (Munich, Germany)
- LACL (Créteil, France)
- Verification group (Oxford, UK)
- ONERA (Toulouse, France)
- ULB (Brussels, Belgium)
- Reactive Systems group (Saarebrücken, Germany)
- LIGM (Marne-la-Vallée, France)
- Automata group (Warsaw, Poland)
- Automata group (Paris, France)
Research grants (as principal investigator)
Chaire Impulsion W-IA-NDOWS
Artificial Intelligence for Sustainable Buildings
Chaire Impulsion, University of Bordeaux
(3 years, 350k€)
INRIA PIQ ARC
GPU-Accelerated Program Synthesis
Targets the Abstraction and Reasoning Corpus (ARC-AGI) benchmark
(2 years, 170k€)
PEPR IA SAIF: Safe AI through Formal Methods
French national programme on AI safety, involving a number of research institutes in France. I serve as PI for LaBRI.
(4 years, 5M€ nationally, 900k€ in Bordeaux)
IRP Le Trójkąt
Le Trójkąt
Collaboration project between Bordeaux, Paris, and Warsaw
(5 years, 75k€)
CNRS IEA WinCent
WinCent
Collaboration project between LaBRI and University of Warsaw. co-PI: Filip Mazowiecki
(2 years, 14k€)
ANR JCJC G4S
Games for Synthesis
Personal grant, ANR (4 years, 140k€, 2 years postdoc)
Momentum DeepSynth
Machine-learning guided Program Synthesis
Personal grant, CNRS Momentum (3 years, 180k€ + 2 years postdoc)
PEPS JCJC LPS
Learning for Program Synthesis
Personal grant, CNRS (1 year, 10k€)