Robin Milner

De la Wikipedia, enciclopedia liberă
Sari la navigare Sari la căutare
Robin Milner
Date personale
Născut1934
Plymouth, Anglia, Regatul Unit
Decedat (76 de ani)[1] Modificați la Wikidata
Cambridge, Anglia, Regatul Unit Modificați la Wikidata
Cauza decesuluicauze naturale (infarct miocardic) Modificați la Wikidata
Naționalitateenglez
CetățenieFlag of the United Kingdom (3-5).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 Mater Eton College[*][[Eton College (school in Windsor and Maidenhead, UK)|​]]
King's College[*][[King's College (college of the University of Cambridge)|​]]  Modificați la Wikidata
OrganizațiiSocietatea 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  Modificați la Wikidata
Cunoscut pentruML
LCF
Analiza sistemelor comunicante
PremiiPremiul Turing, 1990

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


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