Prix Turing 2013 décerné le 18 mars
Leslie Lamport remporte le prix pour cette année

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 air-dex air-dex - Membre émérite https://www.developpez.com
le 10/06/2014 à 17:15
En voilà un qui est rentré dans la légende de l'informatique s'il n'y était pas déjà.
Responsable bénévole de la rubrique LaTeX : Sébastien Lataix (Nikopol) -