Robin Milner

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Robin Milner
Născut 1934
Plymouth, Anglia, Regatul Unit
Rezidență Regatul Unit Regatul Unit
Naționalitate englez
Domeniu informatician
Instituție Ferranti
City University, Londra
Universitatea Swansea
Universitatea Stanford
Universitatea Edinburgh
Universitatea Cambridge
Alma Mater Universitatea Cambridge
Cunoscut pentru ML
LCF
Analiza sistemelor comunicante
Premii Premiul Turing, 1990
Pagină web http://www.cl.cam.ac.uk/users/rm135/

Robin Milner (n. 1934, Plymouth, Anglia, Regatul Unit) este 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.