Décès de Robin Milner

Arthur John Robin Gorell Milner (né le 13 janvier 1934 à Yealmpton, près
de Plymouth et mort le 20 mars 2010 à Cambridge était 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[3].

http://www.cl.cam.ac.uk/~rm135/


Il était venu faire une conférence à Nantes en 2007.

Il a alimenté mon cours de Spécification Deuxième partie. Son livre
Communication and Concurrency est un petit chef-d'œuvre.
Son dernier livre The Space and Motion of Communicating Agents est paru
chez Cambridge University Press il y a un an.