Robin Milner

Arthur John Robin Gorell Milner FRS FRSE (født 13. januar 1934 i Yealmpton nær Plymouth , † 20. marts 2010 i Cambridge ) var en britisk professor i datalogi og vinder af Turing-prisen .

biografi

Milner var søn af infanteriofficer John Theodore Milner og Muriel Emily Milner. Han tilbragte sin barndom forskellige steder i England, Skotland og Wales. Til tider deltog han i Selwyn House School, og fra 1947 som stipendiat Eton College (bl.a. med den senere Lord Richard Layard ). Han afsluttede sin værnepligt med Royal Engineers ved Suez-kanalen 1952-1954 , hvor han nåede rang af sub-løjtnant, og derefter studerede med en yderligere stipendium matematik og senere filosofi på Kings College i den University of Cambridge . I 1957 fik han sin BA og arbejdede i London, oprindeligt i flere deltidsjob, senere et år som skolelærer i matematik ved St Marylebone Grammar School og til sidst fra 1960 som programmør ved Ferranti , hvor han tog sig af programmet bibliotek på Sirius- computeren.

I 1963 blev han udnævnt til at undervise i matematik og datalogi ved City University i London , hvor hans interesse for kunstig intelligens blev vækket især af Christopher Stracheys arbejde . Dette blev efterfulgt af forskningsaktiviteter ved Swansea University (1968 til 1971), Stanford University (1971 til 1973) og fra 1973 ved University of Edinburgh , hvor han blev fuld professor i 1984 (efter gæsteprofessorat ved Aarhus Universitet 1979 til 1980 ) i 1984 og 1986 indtil 1989 var grundlæggende direktør for Laboratory for Foundations of Computer Science . Frem for alt styrket han forankringen af teoretisk datalogi i undervisningen. I 1995 vendte han tilbage til Cambridge University, hvor han ledede Computer Laboratory fra 1996 til 1999 , hvorfra han gradvist trak sig tilbage. I 2001 trak han sig tilbage, men fortsatte sin forskning i både Cambridge og Edinburgh, og fra 2006 til 2007 afholdt han chaire international de recherche Blaise-Pascal ved École normal supérieure i Paris.

Milner var altid interesseret i de teoretiske fundamenter for praktiske problemer med fokus på programmeringssprog, formelle bevis og abstrakte beregningsmodeller. Han udviklede sig (inspireret af Dana Scotts arbejde ) i John McCarthys forskningsgruppe i Stanford LCF ( Logic for Computable Functions ), et af de første værktøjer til automatiske bevis . Programmeringssproget ML ( Meta-Language ), som han udviklede til implementering af LCF, var det første sprog med polymorf type inferens og typesikker undtagelseshåndtering og har udviklet sig til et uafhængigt arbejds- og undervisningsprogrammeringssprog. Milner rettede også sin videreudvikling til Standard ML fra 1983 til 1990. På et helt andet område udviklede Milner en teori til analyse af samtidige systemer, beregningen af ​​kommunikationssystemer (CCS; basis for ISO-standarden Language of Temporal Ordering Specification , LOTOS) og (med Joachim Parrow og David Walker) hans efterfølger, π-calculus , og også med David Park begrebet bis-simulation . Senest designede han en matematisk model baseret på bigraphs , som især skulle bruges i allestedsnærværende computing , og som han også arbejdede med Tony Hoare for . Milner benyttede sig også intensivt af alle disse præstationer i undervisningen. Selvom han aldrig selv havde en doktorgrad, vejledte han 19 doktorander i sin karriere.

Foruden forskellige universitetsudvalg var han blandt andre. tjente også i Rådet for European Association for Computer Science Theory and the Mathematics and Computer Science Committee of the Royal Society , rådgav Danmarks Grundforskningsfond om oprettelse af ph.d.-skoler og var stiftende medlem af UK Computing Research Committee . Han arbejdede blandt andet. til tidsskrifterne Teoretisk datalogi og Computerjournal .

Milner havde været gift med Lucy Milner siden 1963 og havde en datter og to sønner, men hvoraf den ene overlevede.

Præmier (udvælgelse)

Han blev medlem (" Fellow ") af Royal Society of London i 1988 og modtog i 1991 ACM Turing Award for LCF, ML og CCS. I 1994 modtog han Friedrich L. Bauer-prisen , i 2004 en af ​​de kongelige medaljer fra Royal Society of Edinburgh , og i 2005 EATCS-prisen .

Milner var stiftende medlem af Academia Europaea (1988), Distinguished Fellow of the British Computer Society (1988) og Fellow af Royal Society of Edinburgh (1993) og ACM (1994) samt et udenlandsk medlem af Académie des Sciences (2005) og National Academy of Engineering (2008).

Han modtog æresdoktorer fra 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) og University of Paris-South (2007), og er æresmedlem fra Swansea University (2004).

Milner donerede selv penge til University of Edinburgh for at organisere den årlige Milner Lecture , som siden 1996 har hædret forskere hvert år, der har ydet betydelige bidrag til forbindelsen mellem teoretisk og praktisk datalogi.

Royal Society Milner Award

Royal Society Milner Award , opkaldt efter Robin Milner, uddeles for fremragende præstationer inden for datalogi. Prisvindere er Xavier Leroy (2016), Thomas Henzinger (2015), Bernhard Schölkopf (2014), Serge Abiteboul (2013) og Gordon Plotkin (2012).

Skrifttyper (valg)

• A Calculus of Communicating Systems (= Lecture Notes in Computer Science. 92) Springer, Berlin et al. 1980, ISBN 3-540-10235-3 .
• Kommunikation og samtidighed. Prentice Hall, New York NY et al. 1989, ISBN 0-13-115007-3 .
• med Mads Tofte og Robert Harper: Definitionen af ​​Standard ML. MIT Press, Cambridge et al., 1990, ISBN 0-262-13255-9 (revideret udgave: med Mads Tofte, Robert Harper og David MacQueen. Ibid 1997, ISBN 0-262-63181-4 ).
• Kommunikationsagenternes rum og bevægelse. Cambridge University Press, Cambridge et al.2009, ISBN 978-0-521-73833-0 .

litteratur

• Gordon Plotkin , Colin Stirling og Mads Tofte (red.): Bevis, sprog og interaktion: Essays til ære for Robin Milner . MIT Press , 2000. ISBN 0-262-16188-5 . En datalogibog dedikeret til Milner, der dækker mange områder af hans arbejde.

Weblinks

• Milner Cambridge-websted (engelsk)
• Martin Berger: Et interview med Robin Milner , 3. september 2003
• Gordon Plotkin, Colin Stirling og Mads Tofte: En kort videnskabelig biografi om Robin Milner , den biografiske del fra bevis, sprog og interaktion (PDF, engelsk; 239 kB)

Individuelle beviser

1. ^ Liste over medlemmer siden 1666: Brev M. Académie des sciences, adgang 23. januar 2020 (fransk). 
2. ^ Royal Society Milner Award ( Memento fra 23. juli 2015 i internetarkivet ). Hentet 20. juli 2015.