Robin Milner - brittiläinen tietotekniikan tutkija

Robin Milner, kokonaisuudessaan Arthur John Robin Gorell Milner, (syntynyt 13. tammikuuta 1934, Yealmpton, Devon, Englanti - kuollut 20. maaliskuuta 2010, Cambridge, Cambridgeshire), englantilainen tietotekniikan tutkija ja vuoden 1991 AM Turing -palkinnon voittaja, korkein kunnia tietotekniikassa hänen työstään automaattisten lauseenproversioiden, ML-tietokoneohjelmointikielen ja yleisen samanaikaisuusteorian kanssa.

Milner osallistui Etonin yliopistoon ja voitti stipendin Cambridgen yliopistoon osallistumiseen vuonna 1952, mutta hänen täytyi lykätä kurssityötään palvellessaan Suezin kanavalla Ison-Britannian armeijan kuninkaallisten insinöörien kanssa seuraavien kahden vuoden ajan. Milner tuli Cambridgeen vuonna 1954 ja valmistui kandidaatin tutkinnosta matematiikasta vuonna 1957. Hänet alistettiin ensimmäistä kertaa laskentaan kesällä 1956 lyhyellä ohjelmointikurssilla, jossa hän käytti koulun EDSAC-tietokonetta. Sen jälkeen Milner muutti Lontooseen, missä hän työskenteli useissa tehtävissä, kuten matematiikan jälkeisessä opetuksessa Marylebone-peruskoulussa (1959–60), ennen kuin hänestä tuli tietokoneohjelmoija ja kehitti kääntäjiä Ferranti Ltd: ssä (Ferranti tuotti ensimmäisen kaupallisen tietokoneen, Ferranti Mark I, vuonna 1951.)

Vuonna 1963 Milner jätti Ferrantin akateemiseen tehtävään Lontoon City Universityyn, missä hän opetti matematiikkaa tekniikan opiskelijoille ja aloitti tekoälyn (AI) tutkimuksen ja sen soveltamisen tietokantoihin. Vuonna 1968 Milner hyväksyi tutkimustoimen Walesin yliopistossa, Swanseassa, jossa hän työskenteli ohjelmien varmentamisessa, automaattisessa lauseiden todistamisessa ja semantiikassa. Vuonna 1971 Milner meni Yhdysvaltoihin työskentelemään John McCarthyn kanssa AI-laboratoriossa Stanfordin yliopistossa. Milner palasi Iso-Britanniaan vuonna 1973 hyväksyäkseen tehtävän Edinburghin yliopistossa, missä hän auttoi suunnittelemaan ML: n (”metalanguage”), tietokoneohjelmointikielen, joka on kehitetty automaattisen lauseiden ratkaisijan toteuttamiseen. Vuonna 1995 Milner palasi Cambridgeen koulun tietokonelaboratorion päälliköksi. Hän jäi eläkkeelle vuonna 2001.

Muiden teosten joukossa Milner oli kirjoittanut A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999) ja The Space and Motion of Communicating Agents (2009). Hän toimi toimittajana teoreettisesta tietojenkäsittelytieteestä, tietotekniikan tutkimuksen muodoista, tietojenkäsittelyn muodollisista näkökohdista ja tietotekniikan matemaattisista rakenteista, ja hän oli Edinburghin kuninkaallisen seurakunnan julkaisun: A-osan, matematiikka.

Milner valittiin kuninkaalliseen yhdistykseen (1988), British Computer Society -yhdistykseen (1988), Edinburghin kuninkaalliseen seuraan (1993), laskentakoneiden yhdistykseen (1994), Ranskan tiedeakatemiaan (2005) ja Yhdysvaltain kansalliseen kansalliseen yhdistykseen. Tekniikan Akatemia (2008). Turing-palkinnon lisäksi Milner sai British Computer Society Technical Award -palkinnon (1987), Edinburghin kuninkaallisen yhdistyksen kuninkaallisen kultamitalin (2004) ja Euroopan teoreettisen tietotekniikan yhdistyksen arvostettujen saavutusten palkinnon (2005).