Milner, Robin

Robin Milner
Arthur John Robin Gorell Milner
Syntymäaika 13. tammikuuta 1934( 13.1.1934 )
Syntymäpaikka Plymouth , Iso- Britannia
Kuolinpäivämäärä 20. maaliskuuta 2010 (76-vuotias)( 2010-03-20 )
Kuoleman paikka Cambridge , Iso- Britannia
Maa  Iso-Britannia
Tieteellinen ala Informatiikka
Työpaikka Cambridgen yliopisto
Alma mater King's College (Cambridge)
Tunnetaan LCF , ML , CCS , Pi-laskenta
Palkinnot ja palkinnot Turing-palkinto ( 1991 ) Friedrich L. Bauer -palkinto ( 1994 ) Euroopan tietojenkäsittelyteorian liiton palkinto [d] ( 2005 ) Ohjelmointikielten saavutuspalkinto [d] ( 2001 ) kunniatohtorin arvo Edinburghin yliopistosta [d] kunniatohtorin arvo Glasgow'n yliopistosta [d] Hyvä ACM Edinburghin kuninkaallisen seuran jäsen [d] British Computer Societyn jäsen [d] Stirlingin yliopiston kunniatohtori [d]

Robin Milner ( eng.  Arthur John Robin Gorell Milner ; 13. tammikuuta 1934  - 20. maaliskuuta 2010 [1] , Cambridge , Iso- Britannia ) - englantilainen tietojenkäsittelytieteilijä.

Lontoon Royal Societyn jäsen ( 1988) [2] , Ranskan tiedeakatemian ulkomainen jäsen (2005) [3] , US National Academy of Engineering (2008) [4] .

Elämäkerta

Robin Milner syntyi Plymouthissa sotilasperheeseen. Vuodesta 1947 hän opiskeli Eton Collegessa , sitten (vuodesta 1952) hän palveli kaksi vuotta armeijassa (Royal Engineersissä) toiseksi luutnantiksi . Milner tuli sitten King's Collegeen Cambridgeen ja valmistui vuonna 1957 . Valmistuttuaan korkeakoulusta hän työskenteli lukion matematiikan opettajana vuoden ja sitten ohjelmoijana Ferrantissa kolme vuotta [5] .

Milner pääsi lopulta yliopistoon työskennellen ensin Lontoon City Universityssä , sitten Swansean yliopistossa ja Stanfordin yliopistossa ja vuodesta 1973 Edinburghin yliopistossa . Siellä hän oli mukana perustamassa Laboratory for Foundations of Computer Science (LFCS). Vuonna 1995 Milner palasi Cambridgeen , missä hänestä tuli tietojenkäsittelytieteen osaston johtaja. Vuonna 1999 hän jäi eläkkeelle. Naimisissa, kaksi lasta.

Milner kehitti LCF (Logic for Computable Functions) -lauseen todistamisjärjestelmän . Tätä järjestelmää varten luotiin toiminnallinen ohjelmointikieli ML . Myöhemmin Robin Milner kehitti vuorovaikutteisten järjestelmien laskennan (CCS), teoreettisen kehyksen vuorovaikutteisten järjestelmien analysointiin , sekä sen laajennuksen, pi-calculuksen . Milner on saanut yhdeksän kunniatohtorin arvoa eri yliopistoista.

Syyskuussa 2010 Milner oli 25. eniten lainattu kirjailija CiteSeer -projektissa [6] .

Palkinnot (ote)

Muistiinpanot

  1. Martin Campbell-Kelly. Robin Milnerin muistokirjoitus  //  The Guardian . - 1. huhtikuuta 2010.
  2. Milner; Arthur John Robin Gorell (1934 - 2010) // Lontoon kuninkaallisen seuran verkkosivusto  (englanniksi)
  3. Les membres du passé dont le nom commence par M Arkistoitu 26. lokakuuta 2020 Wayback Machinessa  (FR)
  4. Professori Robin Milner arkistoitu 16. tammikuuta 2021 Wayback Machinessa  
  5. CURRICULUM VITAE (tarkistettu tammikuussa 2008) . Haettu 10. tammikuuta 2009. Arkistoitu alkuperäisestä 10. huhtikuuta 2009.
  6. Tilastot - Tietojenkäsittelytieteen eniten lainatut kirjoittajat Arkistoitu 1. toukokuuta 2012 Wayback Machinessa  (Käytetty 1. tammikuuta 2011)

Linkit