Michael John Caldwell Gordon

URI: https://gptkb.org/entity/Michael_John_Caldwell_Gordon
GPTKB entity
Statements (26)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:alsoKnownAs gptkb:Mike_Gordon
gptkbp:awardReceived gptkb:ACM_Fellow
gptkb:Fellow_of_the_Royal_Society
gptkb:Royal_Society_Milner_Award
gptkbp:birthDate 1948-02-28
gptkbp:birthPlace gptkb:Ripon,_Yorkshire,_England
gptkbp:deathDate 2017-08-22
gptkbp:deathPlace gptkb:Cambridge,_England
gptkbp:doctoralAdvisor gptkb:Robin_Milner
gptkbp:doctoralStudent gptkb:Konrad_Slind
gptkb:John_Harrison
gptkbp:employer gptkb:University_of_Cambridge
gptkbp:field computer science
formal methods
theorem proving
https://www.w3.org/2000/01/rdf-schema#label Michael John Caldwell Gordon
gptkbp:knownFor gptkb:HOL_theorem_prover
gptkbp:memberOf gptkb:Royal_Society
gptkbp:nationality British
gptkbp:notableWork gptkb:HOL_theorem_prover
gptkb:LCF_theorem_prover
gptkbp:occupation gptkb:computer_scientist
gptkbp:bfsParent gptkb:M._J._C._Gordon
gptkbp:bfsLayer 7