Robin Milner

De la Wikipedia, enciclopedia liberă
Jump to navigation Jump to search
Robin Milner
Date personale
Născut1934
Plymouth, Anglia, Regatul Unit
Decedat (76 de ani)[1] Modificați la Wikidata
Cambridge, Regatul Unit Modificați la Wikidata
Naționalitateenglez
CetățenieFlag of the United Kingdom.svg Regatul Unit Modificați la Wikidata
Ocupațieinformatician
inginer
profesor universitar Modificați la Wikidata
Activitate
RezidențăRegatul Unit Regatul Unit
Domeniuinformatician
InstituțieFerranti
City University, Londra
Universitatea Swansea
Universitatea Stanford
Universitatea Edinburgh
Universitatea Cambridge
Alma MaterEton College[*]
King's College[*]  Modificați la Wikidata
OrganizațiiCity, University of London[*]
Universitatea Stanford  Modificați la Wikidata
Cunoscut pentruML
LCF
Analiza sistemelor comunicante
PremiiPremiul Turing, 1990

Robin Milner (n. , Plymouth, Regatul Unit – d. ,[1] Cambridge, 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.