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[1] |
Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist.[2][3]
- ^ Michael J. C. Gordon at the Mathematics Genealogy Project
- ^ "Michael JC Gordon FRS, Professor Emeritus of Computer Assisted Reasoning, 28 February 1948 – 22 August 2017". Obituaries. UK: Computer Laboratory, University of Cambridge. 2017. Retrieved 2 September 2017.
- ^ University of Cambridge Computer Laboratory (27 October 2017). "Michael JC Gordon FRS, Professor of Computer Assisted Reasoning (28 February 1948 – 22 August 2017)". Formal Aspects of Computing. 29 (6). Springer International Publishing: 933. doi:10.1007/s00165-017-0438-y.