| Sep 2008 | - | today | Universitair Docent |
| (generally translated as Assistant Professor, tenured) | |||
| University of Amsterdam, Netherlands | |||
| Institute of Informatics | |||
| Computer Systems Architecture Group | |||
| Sep 2008 | - | Dec 2009 | Principle Lecturer |
| (compares to Associate Professor) | |||
| University of Hertfordshire, United Kingdom | |||
| School of Computer Science | |||
| Compiler Technology and Computer Architecture Group | |||
| (From September 2008 to December 2009 I held a joint appointment between the University of Amsterdam (50%) and the University of Hertfordshire (50%). Since the beginning of 2010 I have been full time at the University of Amsterdam.) | |||
| Oct 2007 | - | Aug 2008 | Wissenschaftlicher Assistent |
| (compares to senior lecturer position) | |||
| University of Lübeck, Germany | |||
| Institute of Software Technology and Programming Languages | |||
| Apr 2006 | - | Sep 2007 | Research Fellow |
| University of Hertfordshire, United Kingdom | |||
| School of Computer Science | |||
| Sep 2006 | Peter Landin Prize | ||
| International Symposia on Implementation and Application of Functional Languages | |||
| Jun 2004 | - | Mar 2006 | Deputy member |
| Konvent of the Faculty of Science and Engineering | |||
| (self-governing and self-administrative board of the faculty) | |||
| University of Lübeck, Germany | |||
| Aug 2001 | - | Mar 2006 | Wissenschaftlicher Assistent |
| (compares to senior lecturer position) | |||
| University of Lübeck, Germany | |||
| Institute of Software Technology and Programming Languages | |||
| Mar 2001 | Dr.rer.nat. | ||
| (compares to PhD) | |||
| Christian-Albrechts-University Kiel, Germany | |||
| Faculty of Engineering | |||
| Dec 1996 | - | Jul 2001 | Wissenschaftlicher Angestellter |
| (compares to lecturer position) | |||
| Christian-Albrechts-University Kiel, Germany | |||
| Institute of Computer Science and Applied Mathematics | |||
| Nov 1996 | Diplom-Informatiker | ||
| (compares to integrated Master of Science degree in Informatics) | |||
| Christian-Albrechts-University Kiel, Germany | |||
| Oct 1990 | - | Nov 1996 | Studies in Informatics and Economics |
| Christian-Albrechts-University Kiel, Germany |