Après Ed Roberts, l'inventeur de l'ordinateur personnel récemment disparu, une autre grand figure de monde de l'informatique vient de nous quitter. En effet nous apprenons que Robin Milner est décédé le mars 2010. Il était un informaticien britannique particulièrement brillant et créatif, notamment dans le domaine de la programmation fonctionnelles. Nous lui devons

• 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.

Trois inventions qui lui valurent le prix Turing en 1991

Nous invitons ceux qui voudraient mieux connaitre Robin Milner à lire un article particulièrement bien documenté sur le Site du Zéro.