Milner, Robin

Robin Milner
Arthur John Robin Gorell Milner
Födelsedatum 13 januari 1934( 13-01-1934 )
Födelseort Plymouth , Storbritannien
Dödsdatum 20 mars 2010 (76 år)( 2010-03-20 )
En plats för döden Cambridge , Storbritannien
Land  Storbritannien
Vetenskaplig sfär Informatik
Arbetsplats Cambridge universitetet
Alma mater King's College (Cambridge)
Känd som LCF , ML , CCS , Pi-kalkyl
Utmärkelser och priser Turing Award ( 1991 ) Friedrich L. Bauer-priset ( 1994 ) European Association for Theoretical Computer Science Prize [d] ( 2005 ) Programming Languages ​​Achievement Award [d] ( 2001 ) hedersdoktor från University of Edinburgh [d] hedersdoktor vid University of Glasgow [d] Hej ACM Fellow i Royal Society of Edinburgh [d] medlem av British Computer Society [d] hedersdoktor vid University of Stirling [d]

Robin Milner ( eng.  Arthur John Robin Gorell Milner ; 13 januari 1934  - 20 mars 2010 [1] , Cambridge , Storbritannien ) - engelsk datavetare.

Medlem av Royal Society of London (1988) [2] , utländsk medlem av French Academy of Sciences (2005) [3] , US National Academy of Engineering (2008) [4] .

Biografi

Robin Milner föddes i Plymouth i en militärfamilj. Från 1947 studerade han vid Eton College , sedan (sedan 1952) tjänstgjorde han två år i armén (i Royal Engineers) till rang av underlöjtnant . Milner gick sedan in på King's College Cambridge och tog examen 1957 . Efter examen från college arbetade han som matematiklärare på gymnasiet i ett år, sedan som programmerare för Ferranti i tre år [5] .

Milner kom till slut på college och arbetade först vid City University London , sedan vid Swansea University och Stanford University , och från 1973 vid University of Edinburgh . Där var han med och grundade Laboratory for Foundations of Computer Science (LFCS). 1995 återvände Milner till Cambridge , där han blev chef för datavetenskapsavdelningen. 1999 gick han i pension. Gift, har två barn.

Milner utvecklade LCF (Logic for Computable Functions) teorembevissystem . Det funktionella programmeringsspråket ML skapades för detta system . Senare utvecklade Robin Milner kalkylen för interagerande system (CCS), ett teoretiskt ramverk för analys av interagerande system , såväl som dess förlängning, pi-calculus . Milner är mottagare av nio hedersdoktorer från olika universitet.

I september 2010 var Milner den 25:e mest citerade författaren i CiteSeer- projektet [6] .

Utmärkelser (utdrag)

Anteckningar

  1. ↑ Martin Campbell-Kelly. Robin Milner dödsruna  //  The Guardian . - 1 april 2010.
  2. ↑ Milner; Arthur John Robin Gorell (1934 - 2010) // Webbplats för Royal Society of London  (engelska)
  3. ↑ Les membres du passé dont le nom commence par M Arkiverad 26 oktober 2020 på Wayback Machine  (FR)
  4. ↑ Professor Robin Milner Arkiverad 16 januari 2021 på Wayback Machine  
  5. ↑ CURRICULUM VITAE (reviderad i januari 2008) . Hämtad 10 januari 2009. Arkiverad från originalet 10 april 2009.
  6. ↑ Statistik - Mest citerade författare inom datavetenskap arkiverad 1 maj 2012 på Wayback Machine  (tillgänglig 1 januari 2011)

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk
 Vinnare av Turingpriset