Prix Turing

Le « Nobel de l'informatique », décerné chaque année par l'ACM depuis 1966.

Pays

Année

Prix Turing 2013

informaticien américain

Travaux récompensés

LaTeX Paxos TLA+ calcul distribué logique temporelle des actions

Domaines

calcul distribué informatique

🌐 États-Unis