Michael J. C. Gordon
From Wikipedia, the free encyclopedia
Michael J. C. Gordon, British computer scientist (born 28 February 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. |
