Scholar

Kees Middelburg

Google Scholar ID: GHVPjS4AAAAJ

Guest Researcher, Informatics Institute, University of Amsterdam

concurrency theorytheory of computationlogicformal methodsprogramming methodology

Citations & Impact

All-time

Citations

287

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Research Experience

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 – ...

Co-authors

9 total