Robin Milner informatician britanic

Robin Milner, în întregime Arthur John Robin Gorell Milner, (născut la 13 ianuarie 1934, Yealmpton, Devon, ing. - a murit la 20 martie 2010, Cambridge, Cambridgeshire), informatician englez și câștigător al premiului AM Turing din 1991, cea mai mare onoare în domeniul informaticii, pentru lucrul său cu doverere automate de teoremă, limbajul de programare computerizat ML și o teorie generală a concordanței.

Milner a participat la Eton College și a câștigat o bursă pentru a participa la Universitatea din Cambridge în 1952, dar a trebuit să-și amâne activitatea de curs în timp ce a servit la Canalul Suez alături de inginerii regali ai armatei britanice pentru următorii doi ani. Milner a intrat în Cambridge în 1954 și a absolvit o diplomă de licență în matematică în 1957. A fost expus pentru prima dată la calcul în vara lui 1956 cu un curs scurt în programare în care a folosit computerul EDSAC al școlii. După aceea, Milner s-a mutat la Londra, unde a ocupat diverse locuri de muncă, inclusiv un post de predare a matematicii la Marylebone Grammar School (1959–60), înainte de a deveni programator de calculator și a dezvoltat compilatoare la Ferranti Ltd. (Ferranti a produs primul computer comercial, Ferranti Mark I, în 1951.)

În 1963, Milner a părăsit Ferranti pentru o poziție academică la City University London, unde a predat matematica studenților de inginerie și a început cercetările în domeniul inteligenței artificiale (AI) și aplicarea sa în bazele de date. În 1968, Milner a acceptat o poziție de cercetare la Universitatea din Țara Galilor, Swansea, unde a lucrat la verificarea programelor, dovedirea automată a teoremei și semantica. În 1971, Milner a plecat în Statele Unite pentru a lucra cu John McCarthy în laboratorul AI la Universitatea Stanford. Milner s-a întors în Marea Britanie în 1973 pentru a accepta o poziție la Universitatea din Edinburgh, unde a ajutat la proiectarea ML („metalanguage”), un limbaj de programare computerizat dezvoltat pentru implementarea unui solver automat de teoreme. În 1995 Milner s-a întors la Cambridge ca șef al laboratorului de calcul al școlii. S-a retras în 2001.

Printre alte lucrări, Milner a fost autorul A Calculus for Communicating Systems (1980), Communication and Concurrency (1989), Communication and Mobile Systems: The Pi-Calculus (1999) și The Space and Motion of Communicating agents (2009). A activat ca redactor pentru Teoretica Calculatoare, Note de Cercetare în Tehnica Calculatoarelor, Aspecte Formale ale Calculului și Structuri Matematice în Informatică, și a fost pe consiliul de redacție al Proceedings of the Royal Society of Edinburgh: Secțiunea A, Matematică.

Milner a fost ales în Royal Society (1988), British Computer Society (1988), Royal Society of Edinburgh (1993), Association of Computing Machinery (1994), Academia Franceză de Științe (2005) și National SUA Academia de Inginerie (2008). În plus față de Turing Award, Milner a primit un British Computer Society Technical Award (1987), o Royal Society of Edinburgh Royal Medal Gold (2004) și o European Association for Theoretical Computer Science Distinguished Achievements Award (2005).