Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (nato il 13 gennaio 1934 a Yealmpton vicino a Plymouth , † 20 marzo 2010 a Cambridge ) è stato un professore britannico di informatica e vincitore del Premio Turing .

biografia

Milner era il figlio dell'ufficiale di fanteria John Theodore Milner e Muriel Emily Milner. Ha trascorso la sua infanzia in vari luoghi in Inghilterra, Scozia e Galles. A volte ha frequentato la Selwyn House School, e dal 1947 come borsista l' Eton College (tra l'altro con il successivo Lord Richard Layard ). Ha poi completato il servizio militare con i Royal Engineers presso il Canale di Suez 1952-1954 , dove ha raggiunto il grado di sottotenente, e poi ha studiato con un ulteriore matematica borsa di studio e la filosofia dopo al King 's College di l' Università di Cambridge . Nel 1957 ha conseguito la laurea e ha lavorato a Londra, inizialmente in diversi lavori part-time, successivamente un anno come insegnante di matematica presso la St Marylebone Grammar School e infine dal 1960 come programmatore presso Ferranti , dove si è occupato del programma libreria del computer Sirius .

Nel 1963 fu incaricato di insegnare matematica e informatica alla City University di Londra , dove il suo interesse per l'intelligenza artificiale fu suscitato in particolare dal lavoro di Christopher Strachey . Seguirono attività di ricerca presso la Swansea University (dal 1968 al 1971), la Stanford University (dal 1971 al 1973) e dal 1973 all'Università di Edimburgo , dove divenne professore ordinario nel 1984 (dopo una cattedra in visita presso la Aarhus University 1979-1980 ) nel 1984 e nel 1986 fino al 1989 è stato direttore fondatore del Laboratorio di Fondamenti di Informatica . Soprattutto, ha rafforzato l'ancoraggio dell'informatica teorica nell'insegnamento. Nel 1995 è tornato all'Università di Cambridge, dove dal 1996 al 1999 ha diretto il Laboratorio di Computer , dal quale si è gradualmente ritirato. Nel 2001 è andato in pensione, ma ha continuato la sua ricerca sia in Cambridge e di Edimburgo e dal 2006 al 2007 ha ricoperto la chaire international de recherche Blaise-Pascal al normale supérieure di Parigi.

Milner è sempre stato interessato alle basi teoriche per problemi pratici, con particolare attenzione ai linguaggi di programmazione, dimostrazioni formali e modelli di calcolo astratti. Ha sviluppato (ispirato dal lavoro di Dana Scott ) nel gruppo di ricerca di John McCarthy presso la Stanford LCF ( Logic for Computable Functions ), uno dei primi strumenti per le prove automatiche . Il linguaggio di programmazione ML ( Meta-Language ), che ha sviluppato per l'implementazione di LCF, è stato il primo linguaggio con inferenza di tipo polimorfico e gestione delle eccezioni indipendente dai tipi , e si è sviluppato in un linguaggio di programmazione di lavoro e insegnamento indipendente. Milner ha anche diretto il suo ulteriore sviluppo allo Standard ML dal 1983 al 1990. In un'area completamente diversa, Milner ha sviluppato una teoria per l'analisi dei sistemi concorrenti , il calcolo dei sistemi di comunicazione (CCS; base dello standard ISO Language of Temporal Ordering Specification , LOTOS) e (con Joachim Parrow e David Walker) il suo successore, il π-calcolo , e anche con David Park il concetto di bis-simulazione . Più di recente, ha progettato un modello matematico basato su bigraph , che doveva essere utilizzato in particolare nel calcolo ubiquitario , e per il quale ha lavorato anche con Tony Hoare . Milner ha anche fatto un uso intensivo di tutti questi risultati nell'insegnamento. Sebbene non abbia mai conseguito un dottorato di persona, ha supervisionato 19 studenti di dottorato nella sua carriera.

Oltre a vari comitati universitari, era tra gli altri. ha anche fatto parte del Consiglio della European Association for Computer Science Theory e del Mathematics and Computer Science Committee della Royal Society , ha consigliato Danmarks Grundforskningsfond sulla creazione di scuole post-laurea ed è stato membro fondatore del Computing Research Committee del Regno Unito . Ha lavorato tra le altre cose. per le riviste Theoretical Computer Science e The Computer Journal .

Milner era sposato con Lucy Milner dal 1963 e aveva una figlia e due figli, ma uno dei quali è sopravvissuto.

Premi (selezione)

È diventato membro (" Fellow ") della Royal Society of London nel 1988 e nel 1991 ha ricevuto l' ACM Turing Award per LCF, ML e CCS. Nel 1994 ha ricevuto il Friedrich L. Bauer Prize , nel 2004 una delle medaglie reali della Royal Society of Edinburgh e nel 2005 l' EATCS Award .

Milner è stato membro fondatore dell'Academia Europaea (1988), Distinguished Fellow della British Computer Society (1988) e Fellow della Royal Society of Edinburgh (1993) e dell'ACM (1994), nonché membro straniero del Académie des Sciences (2005) e National Academy of Engineering (2008).

Ha ricevuto dottorati honoris causa da TH Chalmers (1988), Università di Stirling (1996), Università di Bologna (1997), City University London (1998), Università di Aarhus (1999), Università di Essex (2000) , l' Università di Edimburgo (2003), l' Università di Glasgow (2005) e l' Università di Paris-South (2007), ed è Honorary Fellow della Swansea University (2004).

Lo stesso Milner ha donato denaro all'Università di Edimburgo per organizzare l'annuale Milner Lecture , che ogni anno dal 1996 onora i ricercatori che hanno dato un contributo significativo al collegamento tra informatica teorica e pratica.

Premio Royal Society Milner

Il Royal Society Milner Award , che prende il nome da Robin Milner, viene assegnato per i risultati eccezionali nel campo dell'informatica. I vincitori del premio sono Xavier Leroy (2016), Thomas Henzinger (2015), Bernhard Schölkopf (2014), Serge Abiteboul (2013) e Gordon Plotkin (2012).

Caratteri (selezione)

• A Calculus of Communicating Systems (= Lecture Notes in Computer Science. 92) Springer, Berlin et al. 1980, ISBN 3-540-10235-3 .
• Comunicazione e concorrenza. Prentice Hall, New York NY et al.1989 , ISBN 0-13-115007-3 .
• con Mads Tofte e Robert Harper: The Definition of Standard ML. MIT Press, Cambridge et al. 1990, ISBN 0-262-13255-9 (Edizione rivista: con Mads Tofte, Robert Harper e David MacQueen. Ibid 1997, ISBN 0-262-63181-4 ).
• Lo spazio e il movimento degli agenti comunicanti. Cambridge University Press, Cambridge et al.2009, ISBN 978-0-521-73833-0 .

letteratura

• Gordon Plotkin , Colin Stirling e Mads Tofte (a cura di): Proof, Language, and Interaction: Essays in Honor of Robin Milner . MIT Press , 2000. ISBN 0-262-16188-5 . Un libro di informatica dedicato a Milner che copre molte aree del suo lavoro.

link internet

• Sito web di Milner Cambridge (inglese)
• Martin Berger: un'intervista con Robin Milner , 3 settembre 2003
• Gordon Plotkin, Colin Stirling e Mads Tofte: A Brief Scientific Biography of Robin Milner , la parte biografica di Proof, Language, and Interaction (PDF, inglese; 239 kB)

Prove individuali

1. ^ Elenco dei membri dal 1666: Lettera M. Académie des sciences, consultato il 23 gennaio 2020 (francese). 
2. ^ Royal Society Milner Award ( Memento del 23 luglio 2015 in Internet Archive ). Estratto il 20 luglio 2015.