Curriculum Vitae


2009 - present Temporary assistant professor at the University Utrecht, the Netherlands,
working at the NWO project Realising Optimal Sharing
2007 - 2009 Temporary assistant professor at the University Utrecht, the Netherlands,
working at the NWO BRICKS project Infinity
2004 - 2007 Postdoc at the Vrije Universiteit Amsterdam,
working at the NWO project GeoProc (Geometry of Processes)
2005 PhD computer science, Vrije Universiteit Amsterdam, the Netherlands
thesis: Relating Proof Systems for Recursive Types (link)
2000 - 2004 AIO at the theoretical informatics section of the
computer science department at the Vrije Universiteit Amsterdam
1999 MSc in Logic, ILLC, Unversity of Amsterdam, the Netherlands
thesis: Cut-Elimination in the Implicative Fragment of a G3mi-Gentzen-system and its Computational Content (link)
1997 Dipl. Ing. Technische Mathematik, Johannes Kepler Universität Linz, Austria
thesis: Die Entscheidungskomplexität logischer Theoreme - eine Studie anhand der Presburger Arithmetik (link)

Clemens Grabmayer / Universiteit Utrecht / clemens one at phil one dot uu one dot nl / Last modified: Sun Oct 4 13:59:53 CEST 2009 / Valid HTML 4.01 Transitional