L'inventeur du pi-calcul est mort, Robin Milner nous quitte à 76 ans
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...