Michael J. C. Gordon | |
---|---|
Born | |
Died | 22 August 2017 Cambridge, England | (aged 69)
Alma mater | Gonville and Caius College, Cambridge University of Edinburgh |
Known for | HOL theorem prover |
Scientific career | |
Fields | Computer Science |
Institutions | Stanford University University of Cambridge |
Thesis | Evaluation and denotation of pure LISP programs: a worked example in semantics (1973) |
Doctoral advisor | Rod Burstall[1] |
Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist.[2][3]