Mike Gordon passed away in 2017. (Obituary)
We preserve here some files from his personal web space, in particular those reachable through his home page. If you know of other widely referenced URLs of his that we should preserve here, please contact email@example.com.
Director of Research
Emeritus Professor of Computer Assisted Reasoning
The University of Cambridge Computer Laboratory
Room FE19, William Gates Building
15 JJ Thomson Avenue, Cambridge CB3 0FD, UK
office: 01223 334627, mobile: 07774 017428