Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Co-editor of 'Handbook of Process Algebra' (2001)
Co-editor of 'History of Information Security: A Comprehensive Handbook' (2007)
Co-editor of 'Handbook of Network and Systems Administration' (2007)
Managing editor of 'Science of Computer Programming (SCP)'
Editorial board member of multiple journals including 'Journal of Applied Logic', 'Computer Science Reviews', 'Journal of Logical and Algebraic Methods in Programming', etc.
PC Chair of NIOC 2007; OC Chair of HOSC 2005, 2006, 2007
Supervised PhD students including Theo van der Weide (Leiden University, 1980) and Peter Weijland (University of Amsterdam)
Miscellany
Chair of Stichting PATO since September 2010
Chair of Stichting PRAGO since April 2011
Board member of Stichting Wegloophuis Utrecht since March 2017
Member of the Royal Netherlands Academy of Arts and Sciences (KNAW) since 2011
Member of Academia Europaea, Informatics Section (since 2006); Section Chair from Nov 2013 to Jan 2017
Member of various academic and professional societies, including Wiskundig Genootschap (since 1976)