Leslie Lamport
folcloreprogramaçãonuvem
O recebedor do Prêmio Turing de 2013 por impor ordem a sistemas distribuídos: relógios lógicos, retratos distribuídos, Paxos, tolerância a falhas bizantinas, a distinção entre segurança e vivacidade - e o LaTeX.
Seu artigo de 1978 sobre tempo, relógios e ordenação de eventos está entre os mais citados da computação, e a tese dele é que num sistema distribuído não existe um agora global - existe causalidade, que se pode ordenar sem relógio comum. Tudo o que vem depois depende disso: consenso, replicação, e todo banco de dados que precisa decidir qual escrita aconteceu primeiro. A frase dele descreve a área melhor que qualquer livro: sistema distribuído é aquele em que a falha de um computador que você nem sabia que existia deixa o seu inutilizável.
Também conhecido como: lamport, paxos, tla+