Degrees:
B.A.: The University of California, Berkeley, CA | June 1954 |
Ph.D.: Princeton University, Princeton, NJ | June 1958 |
Dr.h.c: Rijksuniversiteit Utrecht, The Netherlands | June 1986 |
Dr.h.c: Technische Hochschule Darmstadt, Germany | May 1995 |
Dr.h.c: The University of Edinburgh, Scotland, UK | July 1995 |
Dr.h.c: The University of Ljubljana, Slovenia | Feb. 2003 |
Academia Europaea |
American Association for the Advancement of Science |
American Academy of Arts and Sciences |
Association for Computing Machinery |
British Academy |
Finnish Academy of Sciences and Letters |
New York Academy of Sciences |
U.S. National Academy of Sciences |
LeRoy P. Steele Prize | American Mathematical Society, 1972 |
Turing Award (with Michael Rabin) | Association for Computing Machinery, 1976 |
Harold Pender Award | University of Pennsylvania, 1990 |
Rolf Schock Prize in Logic and Philosophy | Royal Swedish Academy of Sciences, 1997 |
Bolzano Medal for Merit in the Mathematical Sciences | Czech Academy of Sciences, 2001 |
[01] Instructor, University of Chicago |
1958-60 |
Bell Telephone Fellow, Princeton University | 1956-57 |
Miller Institute Fellow, University of California, Berkeley | 1960-61 |
Alfred P. Sloan Research Fellow | 1963-65 |
Guggenheim Foundation Fellow | 1978-79 |
Visiting Scientist, Xerox Palo Alto Research Center | 1978-79 |
Professorial Fellow, Merton College, Oxford | 1972-81 |
Visiting Professor, Institut Mittag-Leffler, Sweden | 2001 |
Humbolt Stiftung Senior Visiting Scientst, Munich, Germany | 2003 |