+ Répondre à la discussion Actualité déjà publiée
  1. #1
    Responsable LaTeX

    Avatar de -Nikopol-
    Homme Profil pro
    Enseignant
    Inscrit en
    mai 2013
    Messages
    1 868
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 42
    Localisation : France, Haute Marne (Champagne Ardenne)

    Informations professionnelles :
    Activité : Enseignant
    Secteur : Enseignement

    Informations forums :
    Inscription : mai 2013
    Messages : 1 868
    Points : 11 285
    Points
    11 285
    Billets dans le blog
    5

    Par défaut Prix Turing 2013 décerné le 18 mars

    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
    À lire avant de poster : les règles des forums LaTeX et qu'est-ce qu'un ECM

    Équipe LaTeX : Vous souhaitez rejoindre le groupe, contactez moi.

    Pour participer à la rubrique LaTeX : forum contribuez.

    "Pourquoi les nombres sont-ils beaux ? Cela revient à se demander pourquoi la neuvième symphonie de Beethoven est belle. Si vous ne voyez pas pourquoi, personne ne pourra vous l'expliquer. Je sais que les nombres sont beaux. S'ils ne sont pas beaux, rien ne l'est." Paul Erdõs.

  2. #2
    Membre émérite Avatar de air-dex
    Homme Profil pro
    Inscrit en
    août 2010
    Messages
    1 369
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 29
    Localisation : France

    Informations forums :
    Inscription : août 2010
    Messages : 1 369
    Points : 2 873
    Points
    2 873

    Par défaut

    En voilà un qui est rentré dans la légende de l'informatique s'il n'y était pas déjà.
    "Ils ne savaient pas que c'était impossible alors ils l'ont fait." Mark Twain

    Mon client Twitter Qt cross-platform Windows et Linux. (en cours de développement).

Discussions similaires

  1. Prix Turing 2013 décerné le 18 mars.
    Par -Nikopol- dans le forum Actualités
    Réponses: 4
    Dernier message: 25/03/2014, 12h49
  2. Réponses: 2
    Dernier message: 22/03/2013, 12h37
  3. Réponses: 26
    Dernier message: 16/01/2013, 11h54
  4. Réponses: 9
    Dernier message: 13/03/2010, 23h25

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo