Robin Milner

URI: https://gptkb.org/entity/Robin_Milner

GPTKB entity

Statements (45)

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:King's_College,_Cambridge
gptkbp:awardReceived	gptkb:ACM_Fellow gptkb:Royal_Society_Fellowship gptkb:Royal_Academy_of_Engineering_Fellowship Turing Award
gptkbp:birthDate	1934-01-13
gptkbp:birthPlace	gptkb:Plymouth,_England
gptkbp:children	gptkb:Peter_Milner gptkb:Stephen_Milner gptkb:Vaughan_Milner
gptkbp:deathDate	2010-03-20
gptkbp:deathPlace	gptkb:Cambridge,_England
gptkbp:doctoralAdvisor	gptkb:Richard_Braithwaite
gptkbp:doctoralStudent	gptkb:Mike_Gordon gptkb:Gordon_Plotkin gptkb:Luca_Cardelli gptkb:Matthew_Hennessy
gptkbp:employer	gptkb:Stanford_University gptkb:University_of_Cambridge gptkb:University_of_Edinburgh
gptkbp:fieldOfWork	gptkb:programming_language computer science formal methods concurrency theory
gptkbp:fullName	gptkb:Arthur_John_Robin_Gorell_Milner
https://www.w3.org/2000/01/rdf-schema#label	Robin Milner
gptkbp:knownFor	gptkb:Calculus_of_Communicating_Systems_(CCS) gptkb:LCF_theorem_prover gptkb:ML_programming_language gptkb:pi-calculus
gptkbp:memberOf	gptkb:Royal_Academy_of_Engineering gptkb:Royal_Society
gptkbp:nationality	British
gptkbp:notableWork	gptkb:A_Calculus_of_Communicating_Systems_(book) gptkb:Communication_and_Concurrency_(book) gptkb:The_Definition_of_Standard_ML_(book)
gptkbp:occupation	gptkb:computer_scientist
gptkbp:spouse	gptkb:Lucy_Milner
gptkbp:TuringAwardYear	1991 For three distinct and complete achievements: LCF, ML, and CCS.
gptkbp:bfsParent	gptkb:Association_for_Computing_Machinery gptkb:Milner_Award gptkb:logic
gptkbp:bfsLayer	4