Robin Milner

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Robin Milner
Date personale
Născut 1934
Plymouth, Anglia, Regatul Unit
Decedat (76 de ani)[1] Modificați la Wikidata
Cambridge, Regatul Unit Modificați la Wikidata
Naționalitate englez
Cetățenie Flag of the United Kingdom.svg Regatul Unit Modificați la Wikidata
Ocupație informatician
inginer
profesor universitar Modificați la Wikidata
Activitate
Rezidență Regatul Unit 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[*]  Modificați la Wikidata
Organizații City, University of London[*]
Universitatea Stanford  Modificați la Wikidata
Cunoscut pentru ML
LCF
Analiza sistemelor comunicante
Premii Premiul 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.

  1. ^ a b http://www.timesonline.co.uk/tol/comment/obituaries/article7081867.ece  Missing or empty |title= (ajutor)