Robin Milner

E32698

British person computer scientist person

Robin Milner was a pioneering British computer scientist known for his foundational work in programming language theory, type systems, and process calculi, including the development of ML and the π-calculus.

Statements (55)

Predicate	Object
instanceOf	British person → computer scientist → person →
awardReceived	ACM Fellowship → Computer Pioneer Award → Royal Medal of the Royal Society of Edinburgh → Royal Society Fellowship → Turing Award →
birthDate	1934-01-13 →
countryOfCitizenship	United Kingdom →
deathDate	2010-03-20 →
educatedAt	King’s College, Cambridge NERFINISHED → University of Cambridge NERFINISHED →
employer	Computer Laboratory, University of Cambridge → University of Cambridge NERFINISHED → University of Edinburgh →
familyName	Milner →
fieldOfWork	computer science → concurrency theory → formal methods → process calculi → programming language theory → type systems →
fullName	Arthur John Robin Gorell Milner →
givenName	Arthur → John → Robin →
influenced	design of F# → design of Haskell → design of OCaml → functional programming languages → type inference in programming languages →
influencedBy	Christopher Strachey → Dana Scott →
knownFor	CCS (Calculus of Communicating Systems) → Hindley–Milner type system → LCF theorem prover → ML programming language → Standard ML → structural operational semantics → theory of concurrency → π-calculus →
language	English →
memberOf	Royal Society → Royal Society of Edinburgh →
nationality	British →
notableStudent	Gordon Plotkin → Luca Cardelli →
notableWork	A Calculus of Communicating Systems → Communication and Concurrency → The Definition of Standard ML →
placeOfBirth	Yealmpton, Devon, England →
placeOfDeath	Cambridge, England →
positionHeld	Professor of Computer Science at the University of Cambridge → Professor of Computer Science at the University of Edinburgh →

Referenced by (3)

Subject (surface form when different)	Predicate
ACM SIGPLAN Robin Milner Young Researcher Award → Milner Award and Lecture →	namedAfter
ACM SIGPLAN Programming Languages Achievement Award →	notableRecipient