Prix Turing 2013

L

Prix Turing · 2013

Leslie Lamport

informaticien américain

Domaines d'étude

calcul distribuéinformatique

Travaux récompensés

LaTeXcalcul distribuéPaxosTLA+logique temporelle des actions

Pays

États-Unis