Robin Milner
Un article de Wikipédia, l'encyclopédie libre.
Pour les articles homonymes, voir Milner.Arthur John Robin Gorell Milner (né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge[1],[2]) est un informaticien britannique.
Issu d'un milieu modeste, Milner obtient des bourses pour aller étudier à Eton, puis au King's College de Cambridge[3].
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[4].
[modifier] Références
- http://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html
- http://lambda-the-ultimate.org/node/3863
- (en) Robin Milner: The Elegant Pragmatist, Leah Hoffmann, Communications of the ACM, Vol. 53 No. 6, Pages 20-21.
- (en) ACM awards: A. M. Turing Award. Consulté le 22 mars 2010
[modifier] Voir aussi
[modifier] Liens externes
- (en) Sa page sur l'université de Cambridge.
- (en) Une interview de Robin Milner du 3 septembre 2003
- (en) Publications de Robin Milner sur DBLP
- (en) Publications de Robin Milner sur ScientificCommons
