Bio

Nathanaël Fijalkow obtained his PhD in 2015 in Computer Science, jointly awarded by Paris 7 and Warsaw University under the supervision of Thomas Colcombet and Mikołaj Bojańczyk. He has held research positions at the University of Oxford and at the Simons Institute for the Theory of Computation in Berkeley. He is a Research Fellow at the Alan Turing Institute since 2017, and holds a CNRS research position since 2018.

Research interests

Nathanaël's research interests include game theory, machine learning and program verification. He is the principal investigator of a CNRS Momentum grant (2018 -- 2021) whose goal is to develop machine learning techniques for program synthesis.