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 senior researcher at CNRS in LaBRI, Bordeaux (research director) since 2025. 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.