Michael J. C. Gordon

Michael J. C. Gordon
Born(1948-02-28)28 February 1948
Ripon, Yorkshire, England
Died22 August 2017(2017-08-22) (aged 69)
Cambridge, England
Alma materGonville and Caius College, Cambridge
University of Edinburgh
Known forHOL theorem prover
Scientific career
FieldsComputer Science
InstitutionsStanford University
University of Cambridge
ThesisEvaluation and denotation of pure LISP programs: a worked example in semantics (1973)
Doctoral advisorRod Burstall

Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.