Prix Turing 2013

L

Prix Turing·2013

Leslie Lamport

informaticien américain

Domaines d'étude

calcul distribuéinformatique

Travaux récompensés

calcul distribuéLaTeXlogique temporelle des actionsPaxosTLA+

Pays

États-Unis