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.

See also: Robin Milner, 1991, Association for Computing Machinery, CCS, Cambridge, Grande-Bretagne, Informatique, Londres, Meta language, Pi-calcul