Robin Milner

Robin Milner
Născut	1934 Plymouth, Anglia, Regatul Unit
Rezidență	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.