Robin Milner, britisk dataforsker

Robin Milner, i sin helhet Arthur John Robin Gorell Milner, (født 13. januar 1934, Yealmpton, Devon, Eng. — død 20. mars 2010, Cambridge, Cambridgeshire), engelsk datamaskinforsker og vinner av 1991 AM Turing Award, the høyeste ære innen informatikk, for sitt arbeid med automatiske teorem-provers, ML-programmeringsspråk og en generell teori om samtidighet.

Milner gikk på Eton College og vant et stipend for å delta på University of Cambridge i 1952, men han måtte utsette kursarbeidet mens han tjenestegjorde ved Suez Canal med Royal Engineers i den britiske hæren i de neste to årene. Milner kom inn i Cambridge i 1954 og ble uteksaminert med en bachelorgrad i matematikk i 1957. Han ble første gang utsatt for databehandling sommeren 1956 med et kort kurs i programmering der han brukte skolens EDSAC-datamaskin. Etter dette flyttet Milner til London, hvor han hadde forskjellige jobber, inkludert en postundervisning i matematikk ved Marylebone Grammar School (1959–60), før han ble dataprogrammerer og utviklet kompilatorer hos Ferranti Ltd. (Ferranti produserte den første kommersielle datamaskinen, Ferranti Mark I, i 1951.)

I 1963 forlot Milner Ferranti for en akademisk stilling ved City University London, hvor han underviste i matematikk til ingeniørstudenter og begynte forskning i kunstig intelligens (AI) og dens anvendelse på databaser. I 1968 aksepterte Milner en forskerstilling ved University of Wales, Swansea, hvor han arbeidet med programverifisering, automatisk teorembevisning og semantikk. I 1971 dro Milner til USA for å jobbe med John McCarthy i AI-laboratoriet ved Stanford University. Milner vendte tilbake til Storbritannia i 1973 for å godta en stilling ved University of Edinburgh, hvor han hjalp til med å designe ML (“metalanguage”), et dataprogrammeringsspråk utviklet for implementering av en automatisk teorem-løsning. I 1995 kom Milner tilbake til Cambridge som sjef for skolens datalaboratorium. Han trakk seg i 2001.

Milner var blant andre forfattere av A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communicating and Mobile Systems: The Pi-Calculus (1999), og The Space and Motion of Communicating Agents (2009). Han fungerte som redaktør for teoretisk informatikk, forskningsnotater i teoretisk informatikk, formelle aspekter ved databehandling og matematiske strukturer i informatikk, og han var i redaksjonen for Proceedings of the Royal Society of Edinburgh: Seksjon A, matematikk.

Milner ble valgt til Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), French Academy of Sciences (2005) og US National Academy of Engineering (2008). I tillegg til Turing Award mottok Milner en British Computer Society Technical Award (1987), en Royal Society of Edinburgh Royal Gold Medal (2004) og en European Association for Theoretical Computer Science Distinguished Achievements Award (2005).