mercredi 28 février 2007

Robin Milner

La chaire Blaise Pascal
Milner à Cambridge !
Milner sur Wikipedia :

Robin Milner

For three distinct and complete achievements: 1) LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction; 2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; 3) CCS, a general theory of concurrency. In addition, he formulated and strongly advanced full abstraction, the study of the relationship between operational and denotational semantics.

ACM/A.M. Turing Award.

Aucun commentaire: