L’inventeur du pi-calcul est mort, Robin Milner nous quitte à 76 ans

Robin Milner est décédé hier à Cambridge, où il fut professeur à l’Université (ainsi qu’à celles de Londres, Swansea, Edimbourg et Stanford). Informaticien anglais, il a fait trois découvertes principales dans sa carrière, qui ont largement contribué à l’évolution de l’informatique moderne et qui lui valurent de se voir attribuer le prix Turing en 1991 :

– LCF, le premier système de preuves automatiques, 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.

Robin Milner

RIP Robin !