Michael J. C. Gordon
Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist.
Michael J. C. Gordon | |
|---|---|
| Born | 28 February 1948 |
| Died | 22 August 2017 (aged 69) Cambridge, England |
| 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 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.