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, United Kingdom
office: +441223334627, mobile: +447774017428, fax: +441223334678
@
email: mjcg cl.cam.ac.uk
 


Past research

Teaching

Miscellaneous