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

par methodiX Dim 11 Avr - 20:09

[Vous devez être inscrit et connecté pour voir ce lien]

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