Nathanaël Fijalkow received his PhD in Computer Science, jointly supervised by Thomas Colcombet (Paris 7 University) and Mikolaj Bojanczyk (University of Warsaw). He is currently a Research Assistant jointly supervised by Joël Ouaknine and James Worrell (University of Oxford). His research interests are in Logics, Automata Theory, Stochastic Systems, Verification and Complexity.
- Logical Structures in Computation, Fall 2016. Research Fellow.