Michael J. C. Gordon

Michael John Caldwell "Mike" Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist. He was born in Ripon, Yorkshire.
Gordon led the development of the HOL theorem prover. 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.
Gordon died in Cambridge, Cambridgeshire on 22 August 2017 at the age of 69.