Michael J. C. Gordon

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Gordon in 2005

Michael John Caldwell "Mike" Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist.[1] He was born in Ripon, Yorkshire.

Gordon led the development of the HOL theorem prover.[2] He was elected a Fellow of the Royal Society in 1994, and in 2008 a two-day research meeting on Tools and Techniques for Verification of System Infrastructure was held there in honour of his 60th birthday.[3]

Gordon died in Cambridge, Cambridgeshire from pancreatic cancer on 22 August 2017 at the age of 69.[4]

References[change | change source]

  1. "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.
  2. "TPHOLS, conferences associated with theorem proving in higher-order logics". UK: University of Cambridge. Retrieved 28 January 2014.
  3. "Tools and Techniques for Verification of System Infrastructure". Retrieved 28 January 2014.
  4. Kalvala, Sara (22 August 2017). "Sad news regarding Mike Gordon". HOL theorem-proving system. SourceForge. Retrieved 2 September 2017.