|
|
| 2015 - now | Postdoc at the Department of Computer Science (theoretical computer
science group),
Vrije
Universiteit Amsterdam |
| 2017 | University Teaching Qualification (Basiskwalificatie
Onderwijs)
from Vrije Universiteit Amsterdam, Amsterdam, the Netherlands |
| 2013 - 2015 | Postdoc at the Department of Computer Science (theoretical
computer science group), Vrije
Universiteit Amsterdam working at the NWO project Syntactic Degrees |
| 2013 | Lecturer at the Department of Philosophy of Utrecht University,
Utrecht, the Netherlands for the lecture Models of Computation |
| 2009 - 2012 | Temporary assistant professor at the Department of Philosophy
(theoretical philosophy group), University Utrecht working at the NWO project Realising Optimal Sharing |
| 2007 - 2009 | Temporary assistant professor at the
Department of Philosophy (theoretical philosophy group), University Utrecht working at the NWO BRICKS project Infinity |
| 2004 - 2007 | Postdoc at the Department of Computer Science, Vrije Universiteit Amsterdam working at the NWO project GeoProc (Geometry of Processes) |
| 2005 | PhD in computer science from the Vrije Universiteit Amsterdam thesis (in interpretational proof theory): Relating Proof Systems for Recursive Types (link) |
| 2000 - 2004 | AIO at the theoretical computer science group of the
Department of Computer Science of Vrije Universiteit Amsterdam |
| 1999 | MSc in Logic from the Unversity of Amsterdam (ILLC),
Amsterdam, the Netherlands thesis (in proof theory): Cut-Elimination in the Implicative Fragment of a G3mi-Gentzen-system and its Computational Content (link) |
| 1997 | Dipl. Ing. Technische Mathematik from the Johannes Kepler
Universität Linz, Linz, Austria thesis (in logic and computational complexity): Die Entscheidungskomplexität logischer Theoreme - eine Studie anhand der Presburger Arithmetik (link) |