Robin Milner Siyentipiko ng computer sa computer

Si Robin Milner, sa buong Arthur John Robin Gorell Milner, (ipinanganak noong Enero 13, 1934, Yealmpton, Devon, Eng. — namatay noong Marso 20, 2010, Cambridge, Cambridgeshire), siyentipiko sa computer ng Ingles at nagwagi ng 1991 AM Turing Award, ang pinakamataas na karangalan sa science sa computer, para sa kanyang trabaho na may awtomatikong teorem provers, ang ML computer programming language, at isang pangkalahatang teorya ng pagkakasundo.

Nag-aral si Milner sa Eton College at nanalo ng isang iskolar upang dumalo sa University of Cambridge noong 1952, ngunit kailangan niyang ipagpaliban ang kanyang gawain sa kurso habang nagsilbi siya sa Suez Canal kasama ang Royal Engineers ng British army para sa susunod na dalawang taon. Pumasok si Milner sa Cambridge noong 1954 at nagtapos na may degree na bachelor sa matematika noong 1957. Una siyang nailantad sa computing sa tag-araw ng 1956 na may isang maikling kurso sa programming kung saan ginamit niya ang computer ng EDSAC ng paaralan. Pagkatapos nito, lumipat si Milner sa London, kung saan gaganapin ang iba't ibang mga trabaho, kabilang ang isang post na nagtuturo sa matematika sa Marylebone Grammar School (1959–60), bago siya naging isang computer programmer at nakabuo ng mga compiler sa Ferranti Ltd. (ginawa ni Ferranti ang unang komersyal na computer, ang Ferranti Mark I, noong 1951.)

Noong 1963, iniwan ni Milner si Ferranti para sa isang akademikong posisyon sa City University London, kung saan itinuro niya ang matematika sa mga mag-aaral sa engineering at nagsimula ng pananaliksik sa artipisyal na intelektwal (AI) at ang aplikasyon nito sa mga database. Noong 1968, tinanggap ni Milner ang isang posisyon sa pananaliksik sa University of Wales, Swansea, kung saan nagtatrabaho siya sa pagpapatunay ng programa, awtomatikong teorem na nagpapatunay, at semantika. Noong 1971 nagpunta si Milner sa Estados Unidos upang magtrabaho kasama si John McCarthy sa AI laboratory sa Stanford University. Bumalik si Milner sa Britain noong 1973 upang tanggapin ang isang posisyon sa Unibersidad ng Edinburgh, kung saan tinulungan niya ang disenyo ng ML ("metalangwela"), isang wika ng computer programming na binuo para sa pagpapatupad ng isang awtomatikong solong theorem solver. Noong 1995, bumalik si Milner sa Cambridge bilang pinuno ng computer laboratory ng paaralan. Nagretiro siya noong 2001.

Kabilang sa iba pang mga gawa, si Milner ay may-akda ng A Calculus para sa Mga Komunikasyon sa Komunikasyon (1980), Komunikasyon at Konsyensya (1989), Pakikipag-usap at Mga Sistema ng Mobile: The Pi-Calculus (1999), at The Space and Motion of Communicating agents (2009). Nagsilbi siyang editor para sa Theoretical Computer Science, Mga Tala sa Pananaliksik sa Theoretical Computer Science, Formal Aspect of Computing, at Mathematical Structures sa Computer Science, at siya ay nasa editoryal na board of Proceedings of the Royal Society of Edinburgh: Seksyon A, Matematika.

Nahalal si Milner sa Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), French Academy of Sciences (2005), at US National Academy of Engineering (2008). Bilang karagdagan sa Turing Award, natanggap ni Milner ang isang British Computer Society Technical Award (1987), isang Royal Society of Edinburgh Royal Gold Medal (2004), at isang European Association for Theoretical Computer Science Distinguished Achievements Award (2005).