Discussion :

[Katleen Erna]

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

RIP Robin !

Source : Rubrique nécrologique.

[tulipebleu]

C'est son langage ML qui a inspiré le langage Caml puis Objective Caml.
Il avait des idées originales.