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