Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Robin Milner

Robin Milner est un informaticien britannique. Diplômé de l'université de Cambridge. Il a été professeur aux universités de Londres, Swansea, Stanford et Cambridge. Robin Milner est connu pour ses trois principales contributions en informatique, à savoir :

1. LCF, le premier système de preuves automatiques, utilisé pour démontrer automatiquement des assertions mathématique;
2. le langage ML;
3. la théorie d'analyse des systèmes concurrents (calculus of communicating systems, CCS) et son successeur, le pi-calcul.

Ses trois inventions lui valurent le prix Turing de l'ACM en 1991.