Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

Le prix Turing 2013 décerné à Leslie Lamport
Un directeur de la recherche chez Microsoft

Le , par -Nikopol-

0PARTAGES

1  0 
Leslie Lamport, un directeur de la recherche chez Microsoft Research, vient de remporter le prix A.M Turing Award 2013 de l’ACM, Association of Computing Machinery, pour son travail "d'imposer la cohérence claire, bien définie sur le comportement apparemment chaotique des systèmes de calcul distribué , dans lequel plusieurs ordinateurs autonomes communiquent avec l'autre en passant des messages"
Et l'association d'ajouter :"Il a conçu des algorithmes importants et a développé des protocoles de modélisation et de vérification formelles qui améliorent la qualité des systèmes distribués réel. Ces contributions ont permis d'améliorer l'exactitude, la performance et la fiabilité des systèmes informatiques."


Leslie Lamport

Le prix Turing est la plus haute récompense en informatique, l'équivalent de la médaille Fields en mathématiques ou du prix Nobel en physique.
Lamport est surtout connu comme étant le créateur de LaTeX. Il est le cinquième scientifique de Microsoft Research à gagner le Prix Turing . Les autres sont Chuck Thacker (2009), Jim Gray (1998), Butler Lampson (1992) et Tony Hoare (1980) .

Le travail de Lamport a contribué à la fiabilité et la robustesse des logiciels et la conception de l'ingénierie du matériel,de plus en plus important dans l'ère du cloud computing et des centres de données . Selon Microsoft, son travail a également contribué aux domaines de la cybersécurité, les systèmes embarqués et les systèmes de base de données.

Source : Annonce de l'ACM

Une erreur dans cette actualité ? Signalez-le nous !

Avatar de Mchupakabra
Membre régulier https://www.developpez.com
Le 24/03/2014 à 12:55
Il a un air de spielberg
1  0 
Avatar de Ptigrouick
Membre actif https://www.developpez.com
Le 24/03/2014 à 23:15
Il aurait déjà mérité ce prix rien qu'avec LaTeX ! Je profite de l'occasion pour le remercier pour ce magnifique composeur de texte que j'utilise depuis des années et qui m'a permis d'oublier ces saletés de traitements de texte WYSIWYG.
1  0 
Avatar de -Nikopol-
Responsable LaTeX https://www.developpez.com
Le 25/03/2014 à 11:49
Il aurait déjà mérité ce prix rien qu'avec LaTeX !
C'est plutôt à D. Knuth qu'il aurait fallut le remettre.

qui m'a permis d'oublier ces saletés de traitements de texte WYSIWYG.
AMHA une fois qu'on a rédigé un document avec LaTeX, impossible de faire marche arrière.
0  0 
Avatar de asux18
Nouveau membre du Club https://www.developpez.com
Le 24/03/2014 à 11:31
RIP edsger dijkstra
1  2