Leslie Lamport, of time, space, and computation

Leslie Lamport vient d'obtenir le Prix Turing.
Pour une présentation rapide des travaux de Lamport, sur sa pensée, nous vous conseillons de lire, le chapitre qui lui est consacré dans
Out of their Mind, The Lives and Discoveries of 15 Great Computer Scientists
de Dennis Shasha et Cathy Lazere
Copernicus, Springer-Verlag

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

On n'est pas peu fier !

Curieux informaticiens. Il est de bon ton dans le "milieu de l'informatique" de se gausser de Microsoft. Et les arguments ne manquent certes pas. Aujourd'hui, Le Monde nous apprend que ç'est fait : Microsoft et l'INRIA vont concevoir ensemble des logiciels. Cocorico car c'est une première, cela va se faire sur une "base paritaire".
"Nous n'aurions jamais pu nous payer Leslie Lamport" se réjouit M. Cosnard, PDG de l'INRIA écrit Le Monde. Comme quoi, le vocabulaire du businesse se répand. Le e-business est d'ailleurs maintenant peut-être un des domaines fondamentaux de l'informatique ?
Ne faisons pas de mauvais esprit. Soyons pragmatique.

Au fait, combien d' informaticiens sont au courant des travaux de Lamport ? savent qui est Lamport ? posez la question dans les services informatiques des entreprises.
Demandez aussi qu'on vous cite un prix Turing (ce que l'on peut considérer comme le "prix Nobel de l'informatique) ?

A ce sujet, nous vous signalons que le labo LINA vous convie jeudi a-m, à la fac des sciences de Nantes à la conférence de Dennis Shasha, l'auteur de Out of their Minds, the lives and disccoveries of 15 great computer scientists ("informatique" est quand même mieux que "computer science" ! et d'ailleurs a été adopté par pas mal de pays, comme quoi, forger des mots est parfois fort utile même s'ils ne sont pas anglais). Dans ce livre, il y a un chapitre sur Lamport, sur comment il a inventé des algorithmes. ...et il vous dit : "en allant chez le boulanger et en observant." ensuite en formalisant.

L'observation malheureusement n'est pas le fort de nos étudiants en informatique qui souvent ne veulent pas se confronter avec l'utilisateur (pardon "le client") futur de leurs logiciels. On reviendra là-dessus en vous parlant de l'utilisation du boulier dans l'enseignement.

Lors de la conférence TFM (Teaching Formal Method - ce qui intéresse bien peu d'informaticiens enseignant) de Gent, Leslie Lamport nous a dit que "tout ce qui m'a été utile, je l'ai appris dans l'enseignement secondaire". Nous sommes d'accord.

Le Monde nous apprend aussi que "Un quart des start-up américaines créées ou dirigées par des immigrés".

Combien de temps faut-il pour que la femme étrangère d'un ingénieur français obtienne une carte de séjour en France ?
Combien de temps faut-il pour que la femme étrangère d'un ingénieur français travaillant en Allemagne obtienne une carte de séjour en Allemagne ?

Obervez les queues des étrangers dans les préfectures. Qu'en pensez-vous ?