Robin Milner | |
---|---|
Arthur John Robin Gorell Milner | |
Syntymäaika | 13. tammikuuta 1934 |
Syntymäpaikka | Plymouth , Iso- Britannia |
Kuolinpäivämäärä | 20. maaliskuuta 2010 (76-vuotias) |
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] .
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] .
Temaattiset sivustot | ||||
---|---|---|---|---|
Sanakirjat ja tietosanakirjat | ||||
|
Turing-palkinnon voittajat | |
---|---|
|