10-08-1939 Born at Maartensdijk (Utrecht),
The Netherlands.
1951--1957 Secondary School: Lorentz Lyceum (gymnasium beta),
Eindhoven.
01-09-1957 Enrollment as a student at the University of
Amsterdam.
25-03-1964 Doctoraalexamen in Mathematics, cum laude.
01-04-1964 till 01-09-1968 wetenschappelijk medewerker (assistant professor) at
the
Department of Mathematics of the University of Amsterdam.
15-06-1966 Doctorate (Ph.D) in mathematics on the thesis
"Intuitionistic General Topology",
thesis adviser A. Heyting.
01-09-1966 till 01-09-1967, on leave, Visiting Scholar at Stanford University
with a stipend from the
Netherlands Organization for the Advancement of Pure Research (then ZWO, now
called NWO).
August 1968 Series of ten lectures on Intuitionism at SUNY,
Buffalo, New York.
01-09-1968 Reader (associate professor) in mathematics at the
University of Amsterdam.
01-09-1970 Gewoon hoogleraar (full professor) in pure
mathematics and the foundations of mathematics at
the University of Amsterdam.
01-09-1973 till 01-03-1974 Visiting fellow of Wolfson College, Oxford, England.
01-03-1974 till 01-09-1974 Visiting professor at the Department of Mathematics
of the University of Freiburg i.Br., Germany.
04-06-1976 Elected member of the Royal Dutch Academy of
Sciences.
15-04-1985 till 15-05-1985 visiting professor at the "Scuola di
Specializzazione in Logica Matematica"
at the University of Siena, Italy (funded by the Consiglio Nazionale delle
Richerchi).
June 1991 Visiting professor at the
Department of Computer Science at The University of Bern, Switzerland.
16-02-1996 Elected corresponding member of the Bavarian
Academy of Sciences.
15-11-1996 Received the F.L. Bauer-prize of the
"Bund der Freunde der Technischen Universität München" for
internationally outstanding contributions to Computer Science.
01-09-2000 Emeritus hoogleraar (professor emeritus).
Married Olga Bakker (born 11-06-1939), two daughters, Willemien Petra and Catharine.