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 | ![]() ![]() |
Ocupație | informatician inginer cadru didactic universitar[*] ![]() |
Limbi vorbite | limba engleză[3] ![]() |
Activitate | |
Rezidență | ![]() |
Domeniu | informatician |
Instituție | Ferranti City University, Londra Universitatea Swansea Universitatea Stanford Universitatea Edinburgh Universitatea Cambridge |
Alma Mater | Eton College[*][[Eton College (school in Windsor and Maidenhead, UK)|]] King's College[*][[King's College (college of the University of Cambridge)|]] ![]() |
Organizații | Societatea Regală din Londra Academia Europaea[*][2] Academia Franceză de Științe Royal Society of Edinburgh[*][[Royal Society of Edinburgh (academy of sciences)|]] Association for Computing Machinery ![]() |
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! |
|