Michael J. C. Gordon
From Wikipedia, the free encyclopedia
 |
|
| Born | February 28, 1948 Ripon, Yorkshire, England |
|---|---|
| Field | Computer Science |
| Institution | University of Cambridge |
| Known for | HOL theorem prover |
Michael J. C. Gordon, British computer scientist (born February 28, 1948).
Mike Gordon led the development of the HOL theorem prover. He was born in Ripon, Yorkshire, England. Gordon gained his Ph.D. at Edinburgh University in 1973 with a thesis entitled Evaluation and Denotation of Pure LISP Programs. He has worked at the Cambridge University Computer Laboratory since 1988, initially as a Reader, and from 1996 as a Professor. He was elected a Fellow of the Royal Society in 1994.
[edit] External links
 This article about a British scientist is a stub. You can help Wikipedia by expanding it. |
 |
This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it. |
