Arthur John Robin Gorell Milner

URI: https://gptkb.org/entity/Arthur_John_Robin_Gorell_Milner
GPTKB entity
Statements (32)
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
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:programming_language
computer science
formal methods
theoretical computer science
concurrency theory
https://www.w3.org/2000/01/rdf-schema#label Arthur John Robin Gorell Milner
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