Michael J.C. Gordon

Michael J.C. Gordon, British computer scientist (born 28 February 1948).

Related Topics:
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.

Related Topics:
HOL theorem prover - Ripon - Yorkshire - England - Ph.D. - Edinburgh University - 1973 - Cambridge University Computer Laboratory - 1988 - 1996 - Professor - Royal Society - 1994

~ ~ ~ ~ ~ ~ ~ ~ ~ ~