; PhD Computer Science, University of Amsterdam (1 December 1994); postdoc, Utrecht University (January 1995 - December 1996); lecturer, University of Wales Swansea (January 1997 - June 1999), researcher, CWI (July 1999 - August 2000); head of the Embedded Systems Group, CWI (September 2000 - August 2004).
Since March 2001 I am professor in Theoretical Computer Science at the Vrije Universiteit Amsterdam, initially for one day a week. Since September 2004 I am head of the section Theoretical Computer Science.