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 pagemaster@cl.cam.ac.uk.

University of Cambridge Computer Laboratory
Photo of Mike speaking at Dave MacQueen Fest
Mike Gordon
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
email: mjcg cl.cam.ac.uk  
Hide past research Past research
Hide past teaching Past teaching
Hide retirement Retirement
Hide miscellaneous links Miscellaneous links