|
gptkbp:instanceOf
|
gptkb:person
|
|
gptkbp:almaMater
|
gptkb:University_of_Cambridge
|
|
gptkbp:awardReceived
|
gptkb:Fellow_of_the_Association_for_Computing_Machinery
gptkb:Fellow_of_the_Royal_Society
|
|
gptkbp:birthDate
|
1948-02-28
|
|
gptkbp:deathDate
|
2017-08-22
|
|
gptkbp:doctoralAdvisor
|
gptkb:Robin_Milner
|
|
gptkbp:employer
|
gptkb:University_of_Cambridge
|
|
gptkbp:fieldOfWork
|
computer science
formal methods
theorem proving
hardware verification
|
|
gptkbp:fullName
|
gptkb:Michael_John_Caldwell_Gordon
|
|
gptkbp:knownFor
|
gptkb:HOL_theorem_prover
formal verification
hardware verification
|
|
gptkbp:memberOf
|
gptkb:ACM
gptkb:Royal_Society
|
|
gptkbp:nationality
|
British
|
|
gptkbp:notableStudent
|
gptkb:Konrad_Slind
gptkb:John_Harrison
gptkb:Tom_Melham
|
|
gptkbp:occupation
|
gptkb:computer_scientist
|
|
gptkbp:placeOfBirth
|
gptkb:Ripon,_Yorkshire,_England
|
|
gptkbp:placeOfDeath
|
gptkb:Cambridge,_England
|
|
gptkbp:bfsParent
|
gptkb:Gordon,_M._J._C._(1988)._HOL:_A_proof_generating_system_for_higher-order_logic.
gptkb:Gordon,_M._J._C.,_&_Melham,_T._F._(1993)._Introduction_to_HOL:_A_theorem_proving_environment_for_higher_order_logic.
|
|
gptkbp:bfsLayer
|
8
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
M. J. C. Gordon
|