Education
- 1961 Bachelor's Degree, University of Michigan (BS (Mathematics))
- 1962 Master's Degree, Harvard University (SM (Mathematics))
- Doctoral Degree, Harvard University (PhD (Mathematics))
- Professional Designation (F.R.S.C., F.R.S.)
Research Interests
Teaching Area:
Theoretical Computer Science
Research Interests:
Computational Complexity, Proof Complexity
Awards, Affiliations, Personal Interests, etc.:
A.M. turing Award (1982), Fellow Royal Soc. of Canada, Fellow Royal Socitey (London), Member National Academy of Sciences (USA), Member American Academy of Arts and Sciences, Gerzberg Canada Gold Medal for Science and Engineering (NSERC)