Robin Milner

De la Wikipedia, enciclopedia liberă
Salt la: Navigare, căutare
Robin Milner
Date personale
Născut 1934
Plymouth, Anglia, Regatul Unit
Decedat 20 martie 2010 (76 de ani)[1]
Cambridge, Regatul Unit
Naționalitate englez
Cetățenie Regatul Unit al Marii Britanii și al Irlandei de Nord
Ocupație informatician
inginer
profesor universitar
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[*]
Cunoscut pentru ML
LCF
Analiza sistemelor comunicante
Premii Premiul Turing, 1990
Site 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.

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