Jan Aldert Bergstra#
Membership Number: | 2362 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2006 |
Main Country of Residence: | THE NETHERLANDS |
Homepage(s): | https://staff.fnwi.uva.nl/j.a.bergstra |
Present and Previous Positions
- 2017 - present Professor emeritus at UvA
- 1985 - 2017 Professor of programming and software engineering at the University of Amsterdam
- 1985 - 2007 Professor of applied logic at Utrecht University department of philosophy
- 1982 - 1985 senior researcher at the Centre of Mathematics and Computer Science in Amsterdam (CWI, then called the Mathematical Centre or simply MC)
- 1976 - 1982 senior researcher at the Institute of Applied Mathematics and Computer Science of the University of Leiden
Fields of Scholarship
- Computation
- Computability
Honours and Awards
- 2002 Honorary visiting professor Swansea University
- 2006 Member of Academia Europaea
- May 2011 Member of the Koninklijke Nederlandse Academie van Wetenschappen, the National Academy of The Netherlands