Forum INFOMATH
Vous souhaitez réagir à ce message ? Créez un compte en quelques clics ou connectez-vous pour continuer.
Le deal à ne pas rater :
Google Pixel 7 5G – Smartphone 6,3″ OLED FHD+ 8 Go + 128 Go
316 €
Voir le deal

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

Aller en bas

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

Message 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
methodiX
methodiX
Admin
Admin

Masculin
Nombre de messages : 1260
Localisation : Le couloir de l'école polytechnique de Tunis
Réputation : 68
Points : 7014
Date d'inscription : 22/03/2007

Feuille de personnage
Capacité linguistique:
L'inventeur du pi-calcul est mort, Robin Milner nous quitte à 76 ans Left_bar_bleue1000/1000L'inventeur du pi-calcul est mort, Robin Milner nous quitte à 76 ans Empty_bar_bleue  (1000/1000)

Revenir en haut Aller en bas

Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum