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.
I am a junior researcher at CNRS in LaBRI, Bordeaux (chargé de recherche) since 2018. The academic year 2022 - 2023 I was visiting University of Warsaw. Until recently I was a research fellow of The Alan Turing Institute of data science and artificial intelligence in London. I defended my PhD in October 2015 and my habilitation (HDR) in February 2022. I am the head of the Synthesis team in LaBRI since 2024.
Get in touch:
Open positions
There are many open positions in the PEPR IA Project SAIF: Safe AI through Formal Methods: Please get in touch!
Current Positions
Junior Researcher (Chargé de recherche)
Head of the Synthesis team
CNRS, LaBRI, Bordeaux
Past Positions
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
Research
Selection of Five Invited Talks
Invited survey lecture
Games on graphs
Jewels of Automata
Tutorial speaker
Machine Learning meets Program Synthesis
POPL: Symposium on Principles of Programming Languages
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
Lecturer
Program synthesis
ForMaL DigiCosme Spring School on Formal Methods and Machine Learning
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)
PEPR IA SAIF: Safe AI through Formal Methods
Involves a number of research institutes in France. I serve as PI for LaBRI.
(4 years, 900k€)
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€)