Robin Milner

Robin Milner
Born
Arthur John Robin Gorell Milner

(1934-01-13)13 January 1934
Yealmpton, Plymouth, England
Died20 March 2010(2010-03-20) (aged 76)
Cambridge, England
Known for
Awards
Scientific career
FieldsComputer science
Institutions
Doctoral advisorNone, as Milner never did a PhD[2]
Doctoral studentsMads Tofte (1988)
Faron Moller
Chris Tofts
Davide Sangiorgi (1993)[3][4]

Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010) was a British computer scientist, and a Turing Award winner.[5][6][7][8][9][10]

  1. ^ Milner, R. (1993). "Elements of interaction: Turing award lecture". Communications of the ACM. 36: 78–89. doi:10.1145/151233.151240.
  2. ^ Interview with Robin Milner by Martin Berger.
  3. ^ Sangiorgi, Davide (1993). Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (PhD thesis). University of Edinburgh. hdl:1842/6569. OCLC 29948444. EThOS uk.bl.ethos.566460.
  4. ^ Robin Milner at the Mathematics Genealogy Project
  5. ^ Obituary – Professor Robin Milner: computer scientist[dead link], The Times, 31 March 2010.
  6. ^ Hoffmann, L. (2010). "Robin Milner: the elegant pragmatist". Communications of the ACM. 53 (6): 20. doi:10.1145/1743546.1743556.
  7. ^ Milner, R. (1987). "Is Computing an Experimental Science?". Journal of Information Technology. 2 (2): 58–66. doi:10.1057/jit.1987.12. S2CID 10413382.
  8. ^ http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University – Obituary
  9. ^ http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage
  10. ^ Robin Milner author profile page at the ACM Digital Library