vendredi 21 mars 2014

Le Prix Turing 2013 est décerné à Leslie Lamport, Quimper et la Boulangerie à l'honneur !

http://fr.wikipedia.org/wiki/Leslie_Lamport
http://fr.wikipedia.org/wiki/Prix_Turing

http://amturing.acm.org/

"Leslie Lamport, a Principal Researcher at Microsoft Research, has been named as the recipient of the 2013 ACM A.M. Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems."

http://amturing.acm.org/award_winners/lamport_1205376.cfm

Théorème de Quimper et l'algorithme de la boulangerie sont dus à Lamport.
http://www.istic.univ-rennes1.fr/digitalAssets/73/73737_Lettre_ifsic_17.pdf

C'est Lamport qui disait :

" "tout ce qui m'a été utile, je l'ai appris dans l'enseignement secondaire"

http://lefenetrou.blogspot.fr/search/label/Lamport

Un petit texte de Lamport dans Wired :
http://www.wired.com/opinion/2013/01/code-bugs-programming-why-we-need-specs/

On écrivait de tels textes dans les années 70-80. Et nous sommes en 2013 !

Si cela ne vous intéresse pas, peut-être que vous serez attentifs à cette étude qui a pour objet la chevelure des français :

http://research.microsoft.com/en-us/um/people/lamport/pubs/hair.pdf

1 commentaire:

JoëlP a dit…

Pas trouvé le théorème de Quimper... Il est parti avec la marée ?

 
Site Meter