GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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