Robin Milner
| 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){kind=small} Regatul Unit |
| Ocupație | informatician inginer cadru didactic universitar[*] |
| Limbi vorbite | limba engleză[4] |
| 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[*][2] Academia Franceză de Științe Royal Society of Edinburgh[*] Association for Computing Machinery[3] |
| Cunoscut pentru | ML LCF Analiza sistemelor comunicante |
| Premii | Premiul Turing, 1990 |
Modifică date / text  | |
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.
 | 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) - ^ https://www.ae-info.org/ae/User/Milner_Robin Lipsește sau este vid:
|title=(ajutor) - ^ https://awards.acm.org/fellows/award-recipients, accesat în Lipsește sau este vid:
|title=(ajutor) - ^ IdRef, accesat în