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)