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

Le , par -Nikopol-, Responsable LaTeX
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


Vous avez aimé cette actualité ? Alors partagez-la avec vos amis en cliquant sur les boutons ci-dessous :


 Poster une réponse

Avatar de asux18 asux18 - Nouveau membre du Club https://www.developpez.com
le 24/03/2014 à 11:31
RIP edsger dijkstra
Avatar de Mchupakabra Mchupakabra - Membre régulier https://www.developpez.com
le 24/03/2014 à 12:55
Il a un air de spielberg
Avatar de Ptigrouick Ptigrouick - Membre habitué 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.
Avatar de -Nikopol- -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.
Offres d'emploi IT
Expert décisionnel business intelligence H/F
Safran - Ile de France - Évry (91090)
Ingénieur conception en électronique de puissance H/F
Safran - Ile de France - Moissy-Cramayel (77550)
Chef projet big data - pse flotte H/F
Safran - Ile de France - Évry (91090)

Voir plus d'offres Voir la carte des offres IT
Contacter le responsable de la rubrique Accueil