2008	Habilitation, mathematical logic and theoretical computer science, Technical University of Vienna.
1998	PhD, mathematics and theoretical computer science, University of Amsterdam. (Advisor: K. Ambos-Spies, University of Heidelberg)
1993	MSc, mathematics, University of Amsterdam.

Positions

2010 -	Radboud University Nijmegen, assistant professor (tenured).
2008 - 2009	University of Amsterdam, assistant professor.
2008	University of Vienna, assistant, FWF project leader.
2003 - 2008	Technical University of Vienna, Lise Meitner fellow, FWF project leader.
2006	University of Utrecht, assistant professor.
2000 - 2002	Free University of Amsterdam, assistant professor.
1998 - 2000	University of Munich, Marie Curie fellow.

Long visits

2017	University of Heidelberg (2 months).
2005	National University of Singapore (1 month).
2003	University of Auckland (1 month).
2001 - 2002	University of California at San Diego (5 months).
2001	University of Wellington (1 month).
1997	University of Prague (1 month).
1997	University of Heidelberg (1 month).
1995	Iowa State University, Fulbright fellowship (5 months).
1993 - 1994	University of Heidelberg (6 months).