Robin Milner - Définition
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.
La liste des auteurs de cet article est disponible ici.
Arthur John Robin Gorell Milner (né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge) est un informaticien britannique.
Issu d'un milieu modeste, Milner obtient des bourses pour aller étudier à Eton, puis au King's College de Cambridge.
Diplômé de l'université de Cambridge, il a été professeur aux universités de Londres, Swansea, Édimbourg, Stanford et Cambridge.
Robin Milner est connu pour ses trois principales contributions en informatique, à savoir :
- LCF, le premier système de démonstration automatique de théorèmes, utilisé pour démontrer automatiquement des assertions mathématiques ;
- le langage ML ;
- 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.
