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)[2] Modificați la Wikidata
Cambridge, Regatul Unit Modificați la Wikidata
Cauza decesuluicauze naturale[*] (infarct miocardic) 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țiiSocietatea Regală din Londra
Academia Europaea[*][1]
Academia Franceză de Științe
Royal Society of Edinburgh[*]
Association for Computing Machinery  Modificați la Wikidata
Cunoscut pentruML
LCF
Analiza sistemelor comunicante
PremiiPremiul Turing, 1990

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


  1. ^ https://www.ae-info.org/ae/User/Milner_Robin  Lipsește sau este vid: |title= (ajutor)
  2. ^ a b http://www.timesonline.co.uk/tol/comment/obituaries/article7081867.ece  Lipsește sau este vid: |title= (ajutor)