Milner, Robin

Robin Milner
Arthur John Robin Gorell Milner
Datum narození 13. ledna 1934( 1934-01-13 )
Místo narození Plymouth , Spojené království
Datum úmrtí 20. března 2010 (76 let)( 2010-03-20 )
Místo smrti Cambridge , Spojené království
Země  Velká Británie
Vědecká sféra Informatika
Místo výkonu práce Cambridgeská univerzita
Alma mater King's College (Cambridge)
Známý jako LCF , ML , CCS , Pi-počet
Ocenění a ceny Turingova cena ( 1991 ) Cena Friedricha L. Bauera ( 1994 ) Cena Evropské asociace pro teoretickou informatiku [d] ( 2005 ) Cena za úspěch v programovacích jazycích [d] ( 2001 ) čestný doktorát z University of Edinburgh [d] čestný doktorát z University of Glasgow [d] Ahoj ACM Člen Královské společnosti v Edinburghu [d] člen Britské počítačové společnosti [d] čestný doktor University of Stirling [d]

Robin Milner ( eng.  Arthur John Robin Gorell Milner ; 13. ledna 1934  - 20. března 2010 [1] , Cambridge , UK ) - anglický počítačový vědec.

Člen Royal Society of London (1988) [2] , zahraniční člen Francouzské akademie věd (2005) [3] , US National Academy of Engineering (2008) [4] .

Životopis

Robin Milner se narodil v Plymouthu do vojenské rodiny. Od roku 1947 studoval na Eton College , poté (od roku 1952) sloužil dva roky v armádě (v Royal Engineers) v hodnosti podporučíka . Milner pak vstoupil na King's College Cambridge, kterou absolvoval v roce 1957 . Po absolvování vysoké školy rok pracoval jako středoškolský učitel matematiky, poté tři roky jako programátor pro Ferranti [5] .

Milner se nakonec dostal na vysokou školu, nejprve pracoval na City University London , poté na Swansea University a Stanford University a od roku 1973 na University of Edinburgh . Tam spoluzaložil Laboratoř základů informatiky (LFCS). V roce 1995 se Milner vrátil do Cambridge , kde se stal vedoucím oddělení informatiky. V roce 1999 odešel do důchodu. Ženatý, má dvě děti.

Milner vyvinul systém dokazování teorému LCF (Logic for Computable Functions) . Pro tento systém byl vytvořen funkcionální programovací jazyk ML . Později Robin Milner vyvinul počet interagujících systémů (CCS), teoretický rámec pro analýzu interagujících systémů , stejně jako jeho rozšíření, pi-kalkulus . Milner je příjemcem devíti čestných doktorátů z různých univerzit.

V září 2010 byl Milner 25. nejcitovanějším autorem v projektu CiteSeer [6] .

Ocenění (úryvek)

Poznámky

  1. ↑ Martin Campbell-Kelly. Nekrolog Robina Milnera  //  The Guardian . - 1. dubna 2010.
  2. ↑ Milner; Arthur John Robin Gorell (1934 - 2010) // Webové stránky Royal Society of London  (anglicky)
  3. ↑ Les membres du passé dont le nom commence par M Archivováno 26. října 2020 na Wayback Machine  (FR)
  4. ↑ Profesor Robin Milner Archivováno 16. ledna 2021 na Wayback Machine  
  5. ↑ CURRICULUM VITAE (revidováno v lednu 2008) . Získáno 10. ledna 2009. Archivováno z originálu 10. dubna 2009.
  6. ↑ Statistics – Most Cited Authors in Computer Science Archived 1. května 2012 na Wayback Machine  (přístup 1. ledna 2011)

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie
 Vítězové Turingovy ceny