Jan Aldert Bergstra
Scholar

Jan Aldert Bergstra

Google Scholar ID: 9FQgNqEAAAAJ
professor of informatics, Institute of Informatics, University of Amsterdam NL
meadowsinstruction sequencesdecision takingoutsourcing
Citations & Impact
All-time
Citations
2,043
 
H-index
19
 
i10-index
60
 
Publications
20
 
Co-authors
18
list available
Contact
No contact links provided.
Publications
20 items
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)