Michael J. C. Gordon
Michael J. C. Gordon | |
---|---|
Computer Science | |
Institutions | Stanford University University of Cambridge |
Thesis | Evaluation and denotation of pure LISP programs: a worked example in semantics (1973) |
Doctoral advisor | Rod Burstall[1] |
Michael John Caldwell Gordon FRS (28 February 1948 – 22 August 2017) was a British computer scientist.[2][3]
Life
Mike Gordon was born in
Gordon studied for his
He was elected a Fellow of the Royal Society in 1994,[5] 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.[6]
Mike Gordon was married to Avra Cohn, a PhD student of Robin Milner at the University of Edinburgh, and they undertook research together.[4]
He died in Cambridge after a brief illness and is survived by his wife and two sons.[2][7][8]
Work
Gordon led the development of the
There has been a series of international conferences on the HOL system, TPHOLs.[9] 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.
References
- ^ Michael J. C. Gordon at the Mathematics Genealogy Project
- ^ Computer Laboratory, University of Cambridge. 2017. Retrieved 2 September 2017.
- .
- ^ )
- ^ Paulson, Lawrence C (2018). "Michael John Caldwell Gordon. 28 February 1948—22 August 2017". Biographical Memoirs of Fellows of the Royal Society. doi.org/10.1098/rsbm.2018.0019.
- ^ "Tools and Techniques for Verification of System Infrastructure". Retrieved 14 January 2023.
- ^ Kalvala, Sara (22 August 2017). "Sad news regarding Mike Gordon". HOL theorem-proving system. SourceForge. 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.