As a Research Director (full professor) at CNRS, Nathanaël Fijalkow's work at LaBRI in Bordeaux bridges formal methods and machine learning in computer science. His research explores areas such as program synthesis, games, and automata. Since 2024, he has been the head of the Synthesis team at LaBRI. Previously, he served as a junior researcher at CNRS, beginning in 2018. His academic journey includes earning a PhD in October 2015 and an Habilitation (HDR) in February 2022. Additionally, he spent the 2022-2023 academic year as a visiting scholar at the University of Warsaw and was a research fellow at The Alan Turing Institute of data science and artificial intelligence in London.

---