Robin Milner - Robin Milner

Robin Milner
Robin Milner.jpg
Urodzić się
Arthur John Robin Gorell Milner

( 13.01.2019 )13 stycznia 1934
Yealmpton , Plymouth , Anglia
Zmarł 20 marca 2010 (2010-03-20)(w wieku 76 lat)
Cambridge , Anglia
Znany z
Nagrody
Kariera naukowa
Pola Informatyka
Instytucje
Doradca doktorski Brak, ponieważ Milner nigdy nie zrobił doktoratu
Doktoranci Mads Tofte (1988)
Faron Moller
Chris Tofts
Davide Sangiorgi (1993)

Arthur John Robin Gorell Milner FRS (13 stycznia 1934 – 20 marca 2010), znany jako Robin Milner lub AJRG Milner , był brytyjskim informatykiem i zdobywcą nagrody Turinga .

Życie, edukacja i kariera

Milner urodził się w Yealmpton w pobliżu Plymouth w Anglii w rodzinie wojskowej. Zyskał stypendium króla do Eton College w 1947 roku i otrzymał nagrodę Tomline (najwyższa nagroda w Matematyka w Eton) w 1952. Następnie służył w Królewskiej Inżynierów , osiągając stopień podporucznika. Następnie rozpoczął studia na King College, Cambridge , którą ukończył w 1957 roku Milner pierwszy pracowała jako nauczycielka, a następnie jako programista w Ferranti , przed wejściem akademickiego na City University w Londynie , potem Swansea University , Stanford University , a od 1973 roku na Uniwersytecie w Edynburgu , gdzie był współzałożycielem Laboratorium Podstaw Informatyki (LFCS). Wrócił do Cambridge jako kierownik Laboratorium Komputerowego w 1995 roku, z którego ostatecznie zrezygnował, chociaż nadal przebywał w laboratorium. Od 2009 roku Milner był stypendystą Scottish Informatics & Computer Science Alliance Advanced Research Fellow i kierował (w niepełnym wymiarze godzin) Katedrą Informatyki na Uniwersytecie w Edynburgu .

Milner zmarł na atak serca 20 marca 2010 r. w Cambridge. Jego żona Lucy zmarła na krótko przed nim.

Składki

Powszechnie uważa się, że Milner wniósł trzy główne wkłady do informatyki . Opracował Logic for Computable Functions (LCF), jedno z pierwszych narzędzi do automatycznego dowodzenia twierdzeń . Język, który opracował dla LCF, ML , był pierwszym językiem z polimorficznym wnioskowaniem typu i bezpieczną dla typu obsługą wyjątków . W zupełnie innym obszarze Milner opracował również ramy teoretyczne do analizy systemów współbieżnych , rachunek systemów komunikujących się (CCS) i jego następcę, rachunek π .

W chwili śmierci pracował nad bigrafami , formalizmem dla wszechobecnych obliczeń obejmujących CCS i rachunek π . Przypisuje mu się również ponowne odkrycie systemu typu Hindley-Milner .

Honory i nagrody

W 1988 został członkiem Royal Society i Distinguished Fellow Brytyjskiego Towarzystwa Komputerowego . W 1991 Milner otrzymał nagrodę ACM Turing Award . W 1994 został wprowadzony jako Fellow of ACM . W 2004 roku Królewskie Towarzystwo Edynburskie przyznało Milnerowi Królewski Medal za „wprowadzanie korzyści publicznych na skalę światową”. W 2008 r. został wybrany na zagranicznego Associate National Academy of Engineering za „podstawowy wkład w informatykę, w tym rozwój LCF, ML, CCS i rachunku π ”. [1]

Jego imieniem nazwano Royal Society Milner Award .

Wybrane publikacje

  • Rachunek systemów komunikacyjnych , Robin Milner. Springer-Verlag ( LNCS 92), 1980. ISBN  3-540-10235-3
  • Komunikacja i współbieżność , Robin Milner. Prentice Hall International Series in Computer Science , 1989. ISBN  0-13-115007-3
  • Definicja standardowego ML , Robin Milner, Mads Tofte , Robert Harper, MIT Press 1990
  • Komentarz do standardowego ML , Robin Milner, Mads Tofte , MIT Press 1991. ISBN  0-262-63137-7
  • Definicja standardowego ML (zmienionego), Robin Milner, Mads Tofte , Robert Harper, David MacQueen, MIT Press 1997. ISBN  0-262-63181-4
  • Systemy komunikacyjne i mobilne: rachunek π , Robin Milner. Cambridge University Press , 1999. ISBN  0-521-65869-1
  • Przestrzeń i ruch środków komunikujących , Robin Milner, Cambridge University Press , 2009. ISBN  978-0-521-73833-0

Zobacz też: Publikacje Robina Milnera w DBLP

Bibliografia

Dalsza lektura

Linki zewnętrzne