Michael John Caldwell Gordon

GPTKB entity

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
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:Michael_J._C._Gordon gptkb:M._J._C._Gordon
gptkbp:bfsLayer	9
https://www.w3.org/2000/01/rdf-schema#label	Michael John Caldwell Gordon