Robin Milner

Robin Milner
Biografia
Naixement	13 gener 1934 ; Plymouth (Anglaterra)
Mort	20 març 2010 (76 anys); Cambridge (Anglaterra)
Causa de mort	infart de miocardi
Nacionalitat	Britànic
Formació	Eton College ; King's College
Es coneix per	LCF; Llenguatge ML; Càlcul de sistemes comunicants; Càlcul Pi; Inferència de tipus Hindley-Milner;
Activitat
Camp de treball	Ciències de la computació
Ocupació	Informàtica
Organització	Ferranti; City University, Londres; Universitat de Swansea; Universitat de Stanford; Universitat d'Edimburg; Universitat de Cambridge; Universitat d'Aarhus;
Membre de	Association for Computing Machinery (membre de l'Association for Computing Machinery) (1994–); Academia Europaea (1988–); Reial Societat d'Edimburg ; Acadèmia Francesa de les Ciències ; Royal Society
Interessat en	Ciències de la computació
Carrera militar
Branca militar	Exèrcit britànic
Obra
Estudiant doctoral	George Milne; Avra Cohn; Raymond Aubin; Mike Sanderson; Alan Mycroft; Luis Damas; Brian Monahan; Kevin Mitchell; Kim Larsen (1986); Mads Tofte (1988); K.V.S. Prasad (1989); Faron Moller; Dave Berry; Chris Tofts; Peter Sewell; Davide Sangiorgi (1993); David N. Turner (1995); Alex Mifsud; James J. Leifer (2001)
Premis	Premis Premi Turing 1991; FRS; FRSE;

Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing.^[4]^[5]^[6]^[7]^[8]^[9]

↑ Interview with Robin Milner by Martin Berger.
↑ Robin Milner al Mathematics Genealogy Project.
↑ Milner, R. «Elements of interaction: Turing award lecture». Communications of the ACM, 36, 1993, pàg. 78–89. DOI: 10.1145/151233.151240.
↑ Obituary — Professor Robin Milner: computer scientist, The Times, 31 March 2010.
↑ Hoffmann, L. «Robin Milner: the elegant pragmatist». Communications of the ACM, 53, 6, 2010, pàg. 20. DOI: 10.1145/1743546.1743556.
↑ Milner, R. «Is Computing an Experimental Science?». Journal of Information Technology, 2, 2, 1987, pàg. 58–66. DOI: 10.1057/jit.1987.12.
↑ ^{[enllaç sense format]} http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University - Obituary
↑ ^{[enllaç sense format]} http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage
↑ Robin Milner a la Biblioteca Digital de l'ACM

[1] Interview with Robin Milner by Martin Berger.

[mathgene-2] Robin Milner al Mathematics Genealogy Project.

[3] Milner, R. «Elements of interaction: Turing award lecture». Communications of the ACM, 36, 1993, pàg. 78–89. DOI: 10.1145/151233.151240.

[times-4] Obituary — Professor Robin Milner: computer scientist, The Times, 31 March 2010.

[5] Hoffmann, L. «Robin Milner: the elegant pragmatist». Communications of the ACM, 53, 6, 2010, pàg. 20. DOI: 10.1145/1743546.1743556.

[6] Milner, R. «Is Computing an Experimental Science?». Journal of Information Technology, 2, 2, 1987, pàg. 58–66. DOI: 10.1057/jit.1987.12.

[7] {[enllaç sense format]} http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University - Obituary

[8] {[enllaç sense format]} http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage

[acm-9] Robin Milner a la Biblioteca Digital de l'ACM

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Biografia
Naixement	13 gener 1934 Plymouth (Anglaterra)
Mort	20 març 2010 (76 anys) Cambridge (Anglaterra)
Causa de mort	infart de miocardi
Nacionalitat	Britànic
Formació	Eton College King's College
Es coneix per	LCF Llenguatge ML Càlcul de sistemes comunicants Càlcul Pi Inferència de tipus Hindley-Milner
Activitat
Camp de treball	Ciències de la computació
Ocupació	Informàtica
Organització	Ferranti City University, Londres Universitat de Swansea Universitat de Stanford Universitat d'Edimburg Universitat de Cambridge Universitat d'Aarhus
Membre de	Association for Computing Machinery (membre de l'Association for Computing Machinery) (1994–) Academia Europaea (1988–) Reial Societat d'Edimburg Acadèmia Francesa de les Ciències Royal Society
Interessat en	Ciències de la computació
Carrera militar
Branca militar	Exèrcit britànic
Obra
Estudiant doctoral	George Milne Avra Cohn Raymond Aubin Mike Sanderson Alan Mycroft Luis Damas Brian Monahan Kevin Mitchell Kim Larsen (1986) Mads Tofte (1988) K.V.S. Prasad (1989) Faron Moller Dave Berry Chris Tofts Peter Sewell Davide Sangiorgi (1993) David N. Turner (1995) Alex Mifsud James J. Leifer (2001)^[2]
Premis Premi Turing 1991^[3] FRS FRSE