Jan Bergstra

Titels Prof. dr.
Initials J.A.
Main position Hoogleraar UvA
Disciplines Software, algorithms, control systems
  Logic, set theory and arithmetic
  Theoretical computer science
Chair Programmatuur en software engineering
Domain Natural Sciences and Engineering
Membership Member
Since 2011
Member of Natural Sciences and Engineering
Employed by Universiteit van Amsterdam
Postbus 94214
1090 GE Amsterdam
tel.  020 525 75 91
j.a.bergstra@uva.nl
Personal website
Research/publications

Jan Bergstra is a computer scientist. His work has focussed on logic and the theoretical foundations of software engineering, especially on formal methods for system design. He is best known as an expert on algebraic methods for the specification of data and computational processes in general.