Nathanaël Fijalkow

Research Fellow, University of Warwick

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.

Program Visits