Michael L. Gordon

URI: https://gptkb.org/entity/Michael_L._Gordon
GPTKB entity
Statements (18)
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
https://www.w3.org/2000/01/rdf-schema#label Michael L. Gordon
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