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