Prix Turing 2013
L
Prix Turing
·
2013
Leslie Lamport
informaticien américain
Domaines d'étude
calcul distribué
informatique
Travaux récompensés
LaTeX
Paxos
TLA+
calcul distribué
logique temporelle des actions
Pays
États-Unis