Example image of eyePlorer eyePlorer map for 'Michael J. C. Gordon': 1948 Computer scientist February 28 HOL theorem prover family England Ripon Yorkshire Doctor of Philosophy University of Edinburgh Professor University of Cambridge Computer Laboratory Royal Society Michael Gordon List of University of Edinburgh people Automated theorem proving
Disclaimer