Mike Gordon (original) (raw)
[![[Photo of Mike Gordon taken by Larry Paulson, December 2003]](https://web.archive.org/web/20051226122624im_/http://www.cl.cam.ac.uk/users/mjcg/LarryPhotoOfMJCG.jpg)
](BigLarryPhotoOfMJCG.jpg)
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 |
| Add clock |