Robin Milner
Robin Milner (n. , Plymouth, Anglia, Regatul Unit – d. , Cambridge, 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.
| Control de autoritate |  |
|---|
- http://www.timesonline.co.uk/tol/comment/obituaries/article7081867.ece Lipsește sau este vid:
|title=(ajutor) - IdRef, accesat în
- https://www.ae-info.org/ae/User/Milner_Robin Lipsește sau este vid:
|title=(ajutor)
| Robin Milner | |
| Date personale | |
|---|---|
| Născut | 1934 Plymouth, Anglia, Regatul Unit |
| Decedat | (76 de ani)[1]  Cambridge, Anglia, Regatul Unit |
| Cauza decesului | cauze naturale (infarct miocardic) |
| Cetățenie | .svg.png.webp){kind=small} Regatul Unit |
| Ocupație | informatician inginer cadru didactic universitar[*] |
| 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 College[*] 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 |
| Cunoscut pentru | ML LCF Analiza sistemelor comunicante |
| Premii | Premiul Turing, 1990 |
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.