Editing Robin Milner (section)

{{short description|British computer scientist (1934–2010)}}
{{use British English|date=November 2024}}
{{Use dmy dates|date=August 2021}}
{{Infobox scientist
| name              = Robin Milner
| image             = Robin_Milner.jpg
| image_size        = 
| caption           = 
| birth_name        = Arthur John Robin Gorell Milner
| birth_date        = {{birth date|df=yes|1934|01|13}}
| birth_place       = [[Yealmpton]], [[Plymouth]], [[England]]
| death_date        = {{death date and age|df=yes|2010|03|20|1934|01|13}}
| death_place       = [[Cambridge]], [[England]]
| education         = [[King's College, Cambridge]] ([[Bachelor of Arts|BA]])
| doctoral_students = [[Mads Tofte]] (1988)<br />[[Faron Moller]]<br />[[Chris Tofts]]<br />[[Davide Sangiorgi]] (1993)<ref>{{cite thesis |last1=Sangiorgi |first1=Davide |title=Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms |type=PhD thesis |institution=[[University of Edinburgh]] |date=1993 |hdl=1842/6569 |oclc=29948444 |id={{EThOS| uk.bl.ethos.566460}}}}</ref><ref name="mathgene">{{MathGenealogy |id=143382}}</ref>
| known_for         = {{Plainlist|
* Theory of Computer Science
*  [[LCF theorem prover|LCF]]
* [[ML programming language|ML]]
* {{nowrap|[[Calculus of communicating systems]]}}
* [[pi-calculus|{{pi}}-calculus]]
* [[Type inference#Hindley.E2.80.93Milner type inference algorithm|Hindley–Milner type inference]]}}
| footnotes         = 
| ethnicity         = 
| field             = [[Computer science]]
| work_institution  = {{Plainlist|
* [[Ferranti]]
* [[City University, London]]
* [[Swansea University]]
* [[Stanford University]]
* [[University of Edinburgh]]
* [[University of Cambridge]]
* [[Aarhus University]]}}
| author_abbreviation_bot = 
| author_abbreviation_zoo = 
| prizes            = {{Plainlist|
* [[Turing Award]] (1991)<ref>{{Cite journal | last1 = Milner | first1 = R. | doi = 10.1145/151233.151240 | title = Elements of interaction: Turing award lecture | journal = Communications of the ACM | volume = 36 | pages = 78–89 | year = 1993 | doi-access = free }}</ref>
* [[Fellow of the Royal Society|FRS]]
* [[Distinguished Fellow of the British Computer Society|DFBCS]]
* [[Royal Society of Edinburgh|FRSE]]
* Foreign Associate, NAE
}}
| religion          = 
}}

'''Arthur John Robin Gorell Milner''' {{postnominals|FRS}} (13 January 1934 – 20 March 2010) was a [[British people|British]] [[computer scientist]], and a [[Turing Award]] winner.<ref name="times">[http://www.timesonline.co.uk/tol/comment/obituaries/article7081867.ece Obituary – Professor Robin Milner: computer scientist]{{dead link|date=September 2024|bot=medic}}{{cbignore|bot=medic}}, ''[[The Times]]'', 31 March 2010.</ref><ref>{{Cite journal | last1 = Hoffmann | first1 = L. | title = Robin Milner: the elegant pragmatist| doi = 10.1145/1743546.1743556 | journal = Communications of the ACM | volume = 53 | issue = 6 | pages = 20 | year = 2010 | doi-access = free }}</ref><ref>{{Cite journal | last1 = Milner | first1 = R. | title = Is Computing an Experimental Science? | doi = 10.1057/jit.1987.12 | journal = Journal of Information Technology | volume = 2 | issue = 2 | pages = 58–66 | year = 1987 | s2cid = 10413382 }}</ref><ref>http://www.cl.cam.ac.uk/misc/obituaries/milner Cambridge University – Obituary</ref><ref>http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage</ref><ref name="acm">{{ACMPortal|id=81332515695}}</ref>