Menu
The Alan Turing Institute

Dr Nathanaël Fijalkow

Learn more
nathaneal

Position

Turing Research Fellow

Partner Institution

University of Warwick
Menu

Research areas

Complexity (Algorithms) Data structures Theory of programming languages Logic Algebra Databases Control theory Game theory Neural networks Symbolic systems Automata & algebraic (Mathematical modelling)

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.

Turing Research

Organiser

Researcher

Publications