Robin Milner

Robin Milner
Robin Milner
Born	Arthur John Robin Gorell Milner; 13 January 1934; Yealmpton, Plymouth, England
Died	20 March 2010 (aged 76); Cambridge, England
Education	King's College, Cambridge (BA)
Known for	Theory of Computer Science; LCF; ML; Calculus of communicating systems; π-calculus; Hindley–Milner type inference;
Awards	Turing Award (1991); FRS; DFBCS; FRSE; Foreign Associate, NAE;
	Scientific career
Fields	Computer science
Institutions	Ferranti; City University, London; Swansea University; Stanford University; University of Edinburgh; University of Cambridge; Aarhus University;
Doctoral students	Mads Tofte (1988); Faron Moller; Chris Tofts; Davide Sangiorgi (1993)

Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.

Robin Milner

Born	Arthur John Robin Gorell Milner (1934-01-13)13 January 1934 Yealmpton, Plymouth, England
Died	20 March 2010(2010-03-20) (aged 76) Cambridge, England
Education	King's College, Cambridge (BA)
Known for	Theory of Computer Science LCF ML Calculus of communicating systems $π$ -calculus Hindley–Milner type inference
Awards	Turing Award (1991) FRS DFBCS FRSE Foreign Associate, NAE
Scientific career
Fields	Computer science
Institutions	Ferranti City University, London Swansea University Stanford University University of Edinburgh University of Cambridge Aarhus University
Doctoral students	Mads Tofte (1988) Faron Moller Chris Tofts Davide Sangiorgi (1993)