Education

June, 1981

Ph.D. in Mathematics, Harvard University
Thesis: Axiomatic Definitions of Programming Languages and Logics of Programs
Advisors: Albert Meyer (MIT, CS) and Gerald Sacks (Harvard, Mathematics)

March, 1979

A.M. in Mathematics, Harvard University

June, 1975

B.Sc. in Mathematics, University of Toronto