|
gptkbp:instanceOf
|
gptkb:computer_scientist
|
|
gptkbp:almaMater
|
gptkb:University_of_Cambridge
|
|
gptkbp:awardReceived
|
gptkb:ACM_Fellow
gptkb:Fellow_of_the_Royal_Society
gptkb:Royal_Society_Milner_Award
|
|
gptkbp:birthDate
|
1948-02-28
|
|
gptkbp:deathDate
|
2017-08-22
|
|
gptkbp:doctoralAdvisor
|
gptkb:Robin_Milner
|
|
gptkbp:doctoralStudent
|
gptkb:Konrad_Slind
gptkb:Richard_Jones
gptkb:Graham_Birtwistle
gptkb:David_Greaves
gptkb:Richard_Bornat
gptkb:Alan_Bundy
gptkb:Andrew_Pitts
gptkb:John_O'Leary
gptkb:Richard_C._Holt
gptkb:Gavin_Bierman
gptkb:John_Harrison
gptkb:Jeff_Sanders
gptkb:Geraint_Jones
gptkb:Tom_Melham
Richard Newcombe
Magnus Myreen
Mark Aagaard
Mike Fourman
Peter Sewell
Rob Arthan
Stefan Kahrs
|
|
gptkbp:field
|
computer science
|
|
gptkbp:fullName
|
gptkb:Michael_John_Caldwell_Gordon
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Michael J. C. Gordon
|
|
gptkbp:knownFor
|
gptkb:HOL_theorem_prover
formal verification
hardware verification
|
|
gptkbp:memberOf
|
gptkb:ACM
gptkb:Royal_Society
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableWork
|
gptkb:HOL_theorem_prover
gptkb:LCF_theorem_prover
|
|
gptkbp:occupation
|
gptkb:professor
|
|
gptkbp:placeOfBirth
|
gptkb:Ripon,_Yorkshire,_England
|
|
gptkbp:placeOfDeath
|
gptkb:Cambridge,_England
|
|
gptkbp:workInstitution
|
gptkb:University_of_Cambridge
|
|
gptkbp:bfsParent
|
gptkb:Lawrence_C._Paulson
|
|
gptkbp:bfsLayer
|
7
|