Arthur John Robin Gorell Milner

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:computer_scientist gptkb:person
gptkbp:almaMater	gptkb:King's_College,_Cambridge
gptkbp:awardReceived	gptkb:ACM_Fellow gptkb:Royal_Medal gptkb:Royal_Society_Fellowship gptkb:Turing_Award
gptkbp:birthDate	1934-01-13
gptkbp:birthPlace	gptkb:Yealmpton,_Devon,_England
gptkbp:deathDate	2010-03-20
gptkbp:deathPlace	gptkb:Cambridge,_England
gptkbp:doctoralAdvisor	gptkb:Richard_Milner
gptkbp:fieldOfWork	gptkb:theoretical_computer_science gptkb:programming_language computer science formal methods concurrency theory
gptkbp:knownFor	gptkb:π-calculus gptkb:Calculus_of_Communicating_Systems_(CCS) gptkb:LCF_theorem_prover gptkb:ML_programming_language process calculi
gptkbp:memberOf	gptkb:Royal_Society
gptkbp:nationality	British
gptkbp:spouse	gptkb:Lucy_Milner
gptkbp:workInstitution	gptkb:Carnegie_Mellon_University gptkb:Stanford_University gptkb:University_of_Cambridge gptkb:University_of_Edinburgh
gptkbp:bfsParent	gptkb:Robin_Milner
gptkbp:bfsLayer	5
http://www.w3.org/2000/01/rdf-schema#label	Arthur John Robin Gorell Milner