Education



next up Next: Research Interests Up: Resume

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



Joe Halpern
Fri Jun 2 11:23:56 PDT 1995

Last updated, April, 2000 - Joe Halpern