Robin Milner

Robin Milner
Date personale
Născut	1934 Plymouth, Anglia, Regatul Unit
Naționalitate	englez
Activitate
Rezidență	Regatul Unit Regatul Unit
Domeniu	informatician
Instituție	Ferranti City University, Londra Universitatea Swansea Universitatea Stanford Universitatea Edinburgh Universitatea Cambridge
Cunoscut pentru	ML LCF Analiza sistemelor comunicante
Premii	Premiul Turing, 1990

Robin Milner (n.  ?) 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.