Kees Middelburg

Book to appear in July 2012

J.A. Bergstra and C.A. Middelburg. Instruction Sequences for Computer Science. Atlantis Studies in Computing, Vol. 2, Atlantis Press, 2012.
ISBN: 978-94-91216-64-0.

Kees Middelburg

My temporary appointment at the University of Amsterdam has come to an end at 30 November 2009. You can still use the e-mail address C.A.Middelburg

uva.nl to contact me.

I am currently a guest of the section Theory of Computer Science, Informatics Institute, University of Amsterdam, Science Park 904, 1098 XH Amsterdam, the Netherlands.

Recent publications

Professional background

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

My curriculum vitae is available as PostScript file and PDF file

Book to appear in July 2012

Kees Middelburg

Recent publications

Professional background

My children and their partners

Manhattanmama: Lisette's diary (in Dutch)

Lalalisetteland: Lisette's columns (in Dutch)

JP Middelburg: Jan-Paul's columns (in Dutch)

My grandchildren