Publications
|
         |
Professional background
Education:
Experience:
Positions:
- Scientific Staff Member at
KPN Research, December 1971 -- December 1995
- Professor of Applied Logic at
Utrecht University, June 1992 -- February 2003
- Senior Research Fellow at
UNU/IIST, January 1996 -- December 1997
- Scientific Staff Member at
KPN Research, January 1998 -- April 1998
- Research Fellow at
CWI, May 1998 -- September 1998
- Research Fellow at
Eindhoven University of Technology, October 1998 -- February 2003
- Professor of Computer Science at
Eindhoven University of Technology, April 2003 -- March 2007
- Senior Researcher at
University of Amsterdam, December 2005 -- November 2009
- Guest Researcher at
University of Amsterdam, December 2009 -- ...
My curriculum vitae is available as PDF file
|