Nathanaël Fijalkow

Nathanaël Fijalkow

Research Scientist, CNRS
Nathanaël Fijalkow is a junior researcher at CNRS in LaBRI, Bordeaux (chargé de recherche) since 2018. The academic year 2022 - 2023 he was visiting University of Warsaw. Until recently he was a research fellow of The Alan Turing Institute of data science and artificial intelligence in London. He defended my PhD in October 2015 and my habilitation (HDR) in February 2022. His research is in computer science, at the intersection of formal methods and machine learning. His interests include program synthesis, games, and automata.

Program Visits

Theoretical Foundations of Computer Systems, Spring 2021, Research Fellow
Logical Structures in Computation, Fall 2016, Research Fellow
Fields
Games, Synthesis, Logic, Automata