Professional Life

Education:

  • M.Sc. in Physics, Delft University of Technology, 1971;
  • Ph.D. in Mathematics and Computer Science, University of Amsterdam, 1990.

Experience:

  • Research and Development in Computer Science;
  • Teaching and Administration.

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.

My ORCID identifier is orcid.org/0000-0002-8725-0197.