Magna cum laude in Mathematics.
1967 Ph.D.
in Mathematics, Cornell University.
Professional Record
- [1994-present]
Paul Snowden Russell Distinguished Service Professor
The University of Chicago.
- [1975-present]
Professor of Mathematics, The University of Chicago.
- [1983-present]
Professor of Computer Science, The University of Chicago.
- [Sept. 1989-Dec. 1989]
Member, Mathematical Sciences Research Institute, Berkeley, CA.
- [1988-1989]
Visiting Professor, University of Heidelberg, Heidelberg, Germany.
- [1983-1987]
Chairman, Department of Computer Science, The University of Chicago.
- [1982-1983]
Senior Research Fellow, partially supported by British
Science and Engineering Research Council.
- [1967-1975]
Assistant Professor to Full Professor of Mathematics, University
of Illinois at Chicago.
Editorial Duty:
- [1997-2009] Managing Editor,
Annals of Pure and Applied Logic
- [1983-1987]
Advisory Editor, Annals of Pure and Applied Logic (Journal
formerly called Annals of Mathematical Logic).
- [1993-2001] Editor,
Mathematical Logic Quarterly.
- [1982-2002] Editor,
Information and Computation.
- [1971-1975]
Associate Editor, Proceedings American Mathematical Society.
Professional Societies:
- Association for Symbolic Logic
- American Mathematical Society