Milner, Robin

Robin Milner
Arthur John Robin Gorell Milner
Data nașterii 13 ianuarie 1934( 13.01.1934 )
Locul nașterii Plymouth , Marea Britanie
Data mortii 20 martie 2010 (vârsta 76)( 20.03.2010 )
Un loc al morții Cambridge , Marea Britanie
Țară  Marea Britanie
Sfera științifică Informatica
Loc de munca Universitatea Cambridge
Alma Mater King's College (Cambridge)
Cunoscut ca LCF , ML , CCS , Pi-calcul
Premii și premii Premiul Turing ( 1991 ) Premiul Friedrich L. Bauer ( 1994 ) Premiul Asociației Europene pentru Informatică Teoretică [d] ( 2005 ) Premiul pentru realizare în limbaje de programare [d] ( 2001 ) doctorat onorific de la Universitatea din Edinburgh [d] doctorat onorific de la Universitatea din Glasgow [d] Un prieten ACM Membru al Societății Regale din Edinburgh [d] membru al British Computer Society [d] doctor onorific al Universității din Stirling [d]

Robin Milner ( ing.  Arthur John Robin Gorell Milner ; 13 ianuarie 1934  - 20 martie 2010 [1] , Cambridge , Marea Britanie ) - informatician englez.

Membru al Societății Regale din Londra (1988) [2] , membru străin al Academiei Franceze de Științe (2005) [3] , Academiei Naționale de Inginerie din SUA (2008) [4] .

Biografie

Robin Milner s-a născut în Plymouth într-o familie de militari. Din 1947 a studiat la Eton College , apoi (din 1952) a servit doi ani în armată (în Royal Engineers) până la gradul de sublocotenent . Milner a intrat apoi la King's College Cambridge, absolvind în 1957 . După ce a absolvit facultatea, a lucrat ca profesor de matematică în liceu timp de un an, apoi ca programator pentru Ferranti timp de trei ani [5] .

Milner a intrat în sfârșit la facultate, lucrând mai întâi la City University London , apoi la Swansea University și Stanford University , iar din 1973 la Universitatea din Edinburgh . Acolo a co-fondat Laboratorul pentru Fundații de Informatică (LFCS). În 1995, Milner s-a întors la Cambridge , unde a devenit șef al departamentului de informatică. În 1999 s-a pensionat. Căsătorit, are doi copii.

Milner a dezvoltat sistemul de demonstrare a teoremei LCF (Logic for Computable Functions) . Pentru acest sistem a fost creat limbajul de programare funcțional ML . Mai târziu, Robin Milner a dezvoltat calculul sistemelor care interacționează (CCS), un cadru teoretic pentru analiza sistemelor care interacționează , precum și extensia acestuia, pi-calcul . Milner este beneficiarul a nouă doctorate onorifice de la diferite universități.

În septembrie 2010, Milner a fost al 25-lea cel mai citat autor în proiectul CiteSeer [6] .

Premii (fragment)

Note

  1. Martin Campbell-Kelly. Necrologul lui Robin Milner  //  The Guardian . - 1 aprilie 2010.
  2. Milner; Arthur John Robin Gorell (1934 - 2010) // Site -ul Societății Regale din Londra  (engleză)
  3. Les membres du passé dont le nom commence par M Arhivat 26 octombrie 2020 la Wayback Machine  (FR)
  4. Profesorul Robin Milner Arhivat pe 16 ianuarie 2021 la Wayback Machine  
  5. CURRICULUM VITAE (revizuit în ianuarie 2008) . Consultat la 10 ianuarie 2009. Arhivat din original la 10 aprilie 2009.
  6. Statistics - Most Cited Authors in Computer Science Arhivat la 1 mai 2012 la Wayback Machine  (accesat la 1 ianuarie 2011)

Link -uri