Michael J. C. Gordon

From Simple English 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 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. Archived from the original on 7 May 2008. Retrieved 28 January 2014.
  3. "Tools and Techniques for Verification of System Infrastructure". Archived from the original on 4 January 2014. Retrieved 28 January 2014.
  4. Kalvala, Sara (22 August 2017). "Sad news regarding Mike Gordon". HOL theorem-proving system. SourceForge. Retrieved 2 September 2017.