Robin Milner
| Robin Milner | |
| Date personale | |
|---|---|
| Născut | 1934 Plymouth, Anglia, Regatul Unit |
| Decedat | (76 de ani)[1]  Cambridgeshire(d), Anglia, Regatul Unit |
| Cauza decesului | cauze naturale (infarct miocardic) |
| Cetățenie | .svg){kind=small} Regatul Unit |
| Ocupație | informatician inginer cadru didactic universitar[*] information scientist[*] |
| Limbi vorbite | limba engleză[2] |
| Activitate | |
| Rezidență |  Regatul Unit |
| Domeniu | informatician |
| Instituție | Ferranti City University, Londra Universitatea Swansea Universitatea Stanford Universitatea Edinburgh Universitatea Cambridge |
| Alma Mater | Eton[*] King's College[*] |
| Organizații | Societatea Regală din Londra Academia Europaea[3] Academia Franceză de Științe Royal Society of Edinburgh[*] Association for Computing Machinery[4] |
| Cunoscut pentru | ML LCF Analiza sistemelor comunicante |
| Premii | Premiul Turing, 1990 |
Modifică date / text  | |
Robin Milner (n. , Plymouth, Anglia, Regatul Unit – d. , Cambridgeshire(d), Anglia, Regatul Unit) a fost un informatician englez, cunoscut pentru dezvoltarea sistemului de demonstrare a teoremelor LCF, pentru care a inventat limbajul funcțional ML, în care a introdus pentru prima oară tiparea implicită și un sistem type-safe de tratare a excepțiilor. De asemenea, Milner a construit un cadru teoretic pentru analiza sistemelor concurente, cadru denumit analiza sistemelor comunicante. Pentru aceste trei realizări, a primit Premiul Turing în 1990.
 | Acest articol biografic despre un englez este un ciot. Puteți ajuta Wikipedia prin completarea lui! |
- ↑ http://www.timesonline.co.uk/tol/comment/obituaries/article7081867.ece. Lipsește sau este vid:
|title=(ajutor) - ↑ „Robin Milner” (în franceză). idRef[*]. Wikidata Q47757534. Accesat în .
- ↑ „Robin Milner” (în engleză). www.ae-info.org[*]. Wikidata Q107213897.
- ↑ https://awards.acm.org/fellows/award-recipients. Accesat în . Lipsește sau este vid:
|title=(ajutor)
