Michael J. C. Gordon
Computer Scientist
1948 –
Who is Michael J. C. Gordon?
Michael John Caldwell "Mike" Gordon FRS is a British computer scientist.
Mike Gordon led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. The system has a wide variety of uses from formalizing pure mathematics to verification of industrial hardware.
There has been a series of international conferences on the HOL system, TPHOLs. The first three were informal users' meetings with no published proceedings. The tradition now is for an annual conference in a continent different from the location of the previous meeting. From 1996, the scope broadened to cover all theorem proving in higher-order logics.
Gordon was born in Ripon, Yorkshire, England. He gained his Ph.D. at University of Edinburgh in 1973 with a thesis entitled Evaluation and Denotation of Pure LISP Programs. He has worked at the Cambridge University Computer Laboratory since 1981, initially as a Lecturer and moving to Reader in 1988 and Professor in 1996.
We need you!
Help us build the largest biographies collection on the web!
- Born
- Feb 28, 1948
Ripon - Nationality
- United Kingdom
- Profession
- Education
- Gonville and Caius College, Cambridge
- University of Edinburgh
- Employment
- University of Cambridge
- Lived in
- Cambridgeshire
- Ripon
Submitted
on July 23, 2013
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Michael J. C. Gordon." Biographies.net. STANDS4 LLC, 2024. Web. 9 Jun 2024. <https://www.biographies.net/people/en/michael_j_c_gordon>.
Discuss this Michael J. C. Gordon biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In