Michael L. Gordon

URI: https://gptkb.org/entity/Michael_L._Gordon

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Cambridge
gptkbp:awardReceived	gptkb:Fellow_of_the_Royal_Society
gptkbp:dateOfBirth	1948
gptkbp:dateOfDeath	2017
gptkbp:doctoralAdvisor	gptkb:Robin_Milner
gptkbp:employer	gptkb:Massachusetts_Institute_of_Technology
gptkbp:field	computer science formal methods theorem proving
gptkbp:nationality	British
gptkbp:notableWork	gptkb:HOL_theorem_prover gptkb:LCF_theorem_prover
gptkbp:occupation	gptkb:computer_scientist gptkb:professor
gptkbp:bfsParent	gptkb:Angelo,_Gordon_&_Co.
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Michael L. Gordon