University of Edinburgh,
Edinburgh, Scotland
Massachusetts Institute of Technology
Cambridge, Massachusetts
|
PhD, Computational Logic, 1973 University of Edinburgh, Edinburgh, Scotland |
|
SB, Mathematics, 1970 Massachusetts Institute of Technology Cambridge, Massachusetts |
Return to home page.