Discussion :

[-Nikopol-]

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

[air-dex]

En voilà un qui est rentré dans la légende de l'informatique s'il n'y était pas déjà.