University of Cambridge Computer Laboratory
Photo of Mike speaking at Dave MacQueen Fest
Michael J. C. Gordon
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, fax: 01223 334678
@
email: mjcg cl.cam.ac.uk  

Show Hide everything

Hide Past research
Hide Past teaching
Hide Miscellaneous