Jan Bergstra
University of Amsterdam, Netherlands
Biography:

Jan Aldert Bergstra is a full professor of software enigeering at the University of Amsterdam since 1985. He obtained a PhD in mathematcs at Utrecht University in 1976. Until 1982 he was with Leiden University, then until 1985 with the Center of Mathematics and Computer Science in Amsterdam. 

 
His research has focused for many years on the following topics: computability theory, term rewriting systems, abstract data types, program verification, process algebra, module algebra, program, algebra, short-circuit logic, meadows, and instruction sequences. More recently his focus has been on a range of less mathematical topics, in particlular outsourcing, decision taking, and informational money. Bibliographic information regarding his work can be immediately found on DBLP or Google.scholar, which notifies the existebnce of some 10.000 citations to the titles listed.
 
Jan Bergstra is the editor in Chief of "Science of Computer Programming". He is a member of the Royal Netherlands Academy of Arts and Sciences, and of Academia Eurpaea. He is chair of the Informatics Section of Academia Europaea. He is director of the Informatics Institute of the University of Amsterdam. He has participated in the works council of the University of Amsterdam for almost 10 years, and he served as its chairman for 3 years. 
 
His most useful contribution to Dutch informatics has been the settting up and initial management a number of different bachelor programs and master programs on various themes: software engineering, systems and network engineering, logic, forensic science, (cognitive) artificial intelligence, information studies, and game studies. 

Copyright © 2014 Engineering Information Institute. All rights reserved.