Robin Milner | |
---|---|
Arthur John Robin Gorell Milner | |
Data nașterii | 13 ianuarie 1934 |
Locul nașterii | Plymouth , Marea Britanie |
Data mortii | 20 martie 2010 (vârsta 76) |
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] .
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] .
Site-uri tematice | ||||
---|---|---|---|---|
Dicționare și enciclopedii | ||||
|
ai premiului Turing | Câștigători|
---|---|
|