I obtained a PhD in Mathematics from the University of Leeds. Since then I have held research and teaching positions at the University of Edinburgh (Laboratory for Foundations of Computer Science), University of Oxford (Department of Computer Science and Keble College), Vienna University of Technology (Institute of Discrete Mathematics and Geometry), and University of Gothenburg (Department of Computer Science and Engineering and Faculty of Philosophy, Linguistics and Theory of Science). I obtained my Docent in Logic in 2019.
I am Assistant Professor (Universitair Docent) and MacGillavry Fellow at UvA, and Researcher (Forskare) at GU.
You can read more about the research groups I am affiliated to in the following links.
My research lies at the intersection of mathematics and computer science with a focus on interactions between expressibility, complexity, and deductive strength in fixpoint logics. I employ techniques from proof theory, notably proof transformations, cut-elimination and tableaux, to gain insight into the behaviour of fixpoint constructions.
Other topics that I have worked on previously and/or are currently pursuing include relative computability, reverse mathematics, ordinal analysis, computational content of proofs, automata theory and games.
Together with Yde Venema we have a research team working on Proof Systems for Modal Fixpoint Logics. The project consists of 1 Postdoc and 3 PhD students.
Below you will see my publications since 2019. For earlier articles please visit my GU homepage.