Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (narozen 13. ledna 1934 v Yealmptonu poblíž Plymouthu , † 20. března 2010 v Cambridge ) byl britský profesor výpočetní techniky a držitel Turingovy ceny .

životopis

Milner byl synem důstojníka pěchoty Johna Theodora Milnera a Muriel Emily Milnerové. Dětství prožil na různých místech v Anglii, Skotsku a Walesu. Občas navštěvoval Selwyn House School a od roku 1947 jako stipendista Eton College (mimo jiné s pozdějším lordem Richardem Layardem ). Poté absolvoval vojenskou službu s Royal Engineers u Suezského průplavu od roku 1952 do roku 1954 , kde dosáhl hodnosti sub-poručíka a pak studoval u dalších stipendijních matematiku a později filozofii u královské vysoké školy na University of Cambridge . V roce 1957 získal bakalářský titul a pracoval v Londýně, nejprve na částečný úvazek, později rok jako učitel matematiky na gymnáziu v St Marylebone a nakonec od roku 1960 jako programátor ve Ferranti , kde se o program staral. knihovna počítače Sirius .

V roce 1963 byl jmenován učitelem matematiky a informatiky na City University v Londýně , kde jeho zájem o umělou inteligenci vzbudila zejména práce Christophera Stracheyho . Poté následovaly výzkumné aktivity na Swansea University (1968 až 1971), Stanford University (1971 až 1973) a od roku 1973 na University of Edinburgh , kde se stal řádným profesorem v roce 1984 (po hostující profesuře na Aarhus University 1979 až 1980) ) v letech 1984 a 1986 až do roku 1989 byl zakládajícím ředitelem Laboratoře pro základy výpočetní techniky . Především posílil ukotvení teoretické informatiky ve výuce. V roce 1995 se vrátil na univerzitu v Cambridge, kde v letech 1996 až 1999 vedl počítačovou laboratoř , ze které se postupně stáhl. V roce 2001 odešel do důchodu, ale ve výzkumu pokračoval v Cambridge i v Edinburghu a v letech 2006 až 2007 zastával chaire international de recherche Blaise-Pascal v normální supérieure École v Paříži.

Milner se vždy zajímal o teoretické základy praktických problémů, se zaměřením na programovací jazyky, formální důkazy a abstraktní výpočtové modely. Vyvinul (inspirovaný dílem Dany Scott ) ve výzkumné skupině Johna McCarthyho ve Stanfordu LCF ( Logic for Computable Functions ), jednom z prvních nástrojů pro automatické korektury . Programovací jazyk ML ( Meta-Language ), který vyvinul pro implementaci LCF, byl prvním jazykem s polymorfním odvozením typu a bezpečným zpracováním výjimek a vyvinul se do samostatného pracovního a výukového programovacího jazyka. Milner také zaměřil svůj další vývoj na Standard ML od roku 1983 do roku 1990. Ve zcela jiné oblasti vyvinul Milner teorii pro analýzu souběžných systémů, počet komunikačních systémů (CCS; základ normy ISO Language of Temporal Ordering Specification , LOTOS) a (s Joachimem Parrowem a Davidem Walkerem) jeho nástupce, π-kalkul , a také s Davidem Parkem koncept bis-simulace . Nejnověji navrhl matematický model založený na bigrafech , který měl být používán zejména v všudypřítomných výpočtech a pro který pracoval také s Tony Hoare . Všechny tyto úspěchy Milner také intenzivně využíval ve výuce. Ačkoli sám nikdy doktorát neudělal, ve své kariéře dohlížel na 19 doktorandů.

Kromě různých univerzitních výborů byl mimo jiné. působil také v Radě Evropské asociace pro teorii počítačových věd a ve Výboru pro matematiku a informatiku Královské společnosti , poskytoval poradenství Danmarks Grundforskningsfond při zřizování postgraduálních škol a byl zakládajícím členem britského výboru pro výpočetní techniku . Pracoval mimo jiné. pro časopisy Teoretická informatika a Počítačový deník .

Milner byl ženatý s Lucy Milnerovou od roku 1963 a měl dceru a dva syny, z nichž jeden přežil.

Ocenění (výběr)

V roce 1988 byl jmenován členem („ Fellow “) Royal Society of London a v roce 1991 získal cenu ACM Turing Award za LCF, ML a CCS. V roce 1994 získal cenu Friedricha L. Bauera , v roce 2004 jednu z královských medailí Královské společnosti v Edinburghu a v roce 2005 cenu EATCS .

Milner byl zakládajícím členem Academia Europaea (1988), Distinguished Fellow of the British Computer Society (1988) a Fellow of the Royal Society of Edinburgh (1993) and the ACM (1994), stejně jako zahraniční člen Académie des Sciences (2005) a National Academy of Engineering (2008).

Čestné doktoráty získal na TH Chalmers (1988), University of Stirling (1996), University of Bologna (1997), City University London (1998), University of Aarhus (1999), University of Essex (2000) , University of Edinburgh (2003), University of Glasgow (2005) a University of Paris-South (2007), a je čestným členem Swansea University (2004).

Sám Milner věnoval peníze univerzitě v Edinburghu na organizaci každoroční Milner Lecture , která každoročně oceňuje výzkumné pracovníky od roku 1996, kteří významně přispěli k propojení teoretické a praktické počítačové vědy.

Cena Royal Society Milner Award

Cena Royal Society Milner Award , pojmenovaná po Robinovi Milnerovi, se uděluje za vynikající výsledky v oblasti počítačové vědy. Vítězi cen jsou Xavier Leroy (2016), Thomas Henzinger (2015), Bernhard Schölkopf (2014), Serge Abiteboul (2013) a Gordon Plotkin (2012).

Písma (výběr)

• A Calculus of Communicating Systems (= Lecture Notes in Computer Science. 92) Springer, Berlin et al. 1980, ISBN 3-540-10235-3 .
• Komunikace a souběžnost. Prentice Hall, New York NY a kol. 1989, ISBN 0-13-115007-3 .
• s Mads Tofte a Robert Harper: Definice standardního ML. MIT Press, Cambridge et al. 1990, ISBN 0-262-13255-9 (revidované vydání: s Mads Tofte, Robert Harper a David MacQueen. Ibid 1997, ISBN 0-262-63181-4 ).
• Prostor a pohyb komunikujících agentů. Cambridge University Press, Cambridge et al. 2009, ISBN 978-0-521-73833-0 .

literatura

• Gordon Plotkin , Colin Stirling a Mads Tofte (ed.): Důkaz, jazyk a interakce: Pokusy o čest Robina Milnera . MIT Press , 2000. ISBN 0-262-16188-5 . Kniha o informatice věnovaná Milnerovi, která pokrývá mnoho oblastí jeho práce.

webové odkazy

• Web společnosti Milner Cambridge (anglicky)
• Martin Berger: Rozhovor s Robinem Milnerem , 3. září 2003
• Gordon Plotkin, Colin Stirling a Mads Tofte: Krátká vědecká biografie Robina Milnera , biografická část z Proof, Language a Interaction (PDF, angličtina; 239 kB)

Individuální důkazy

1. ^ Seznam členů od roku 1666: Dopis M. Académie des sciences, přístupný 23. ledna 2020 (francouzsky). 
2. ^ Royal Society Milner Award ( Memento ze dne 23. července 2015 v internetovém archivu ). Citováno 20. července 2015.