Episódio

Leslie Lamport selecionada como vencedora do Prêmio ACM A.M. Turing 2013

Leslie Lamport, da Microsoft Research , é recompensado por suas contribuições excepcionais à ciência da computação com o Prêmio ACM A.M. Turing de 2013. Lamport é bem conhecido por cientistas da computação em todo o mundo por seu trabalho fundamental em computação distribuída, incluindo a criação do algoritmo Paxos para implementar sistemas distribuídos tolerantes a falhas. Seu artigo de 1978 Time, Clocks, and the Ordering of Events in a Distributed System é um dos mais citados na história da ciência da computação. As imensas contribuições de Lamport resultaram em melhor correção, desempenho e confiabilidade dos sistemas computacionais usados em todo o mundo hoje.