Leslie Lamport è un informatico Americano noto per i suoi contributi alle teorie e realizzazioni pratiche di sistemi distribuiti e concorrenti, per i quali ha ricevuto nel 2013 il Turing Award. E’ famoso il suo “Bakery Algorithm”, un sistema elegante e intuitivo per organizzare processi concorrenti in base al loro arrivo, come la coda dei clienti che entrano in una panetteria.
Il suo libro “Time, Clocks, and the Ordering of Events in a Distributed System” è ancora una delle più importanti pubblicazioni di computer science. Il suo algoritmo dei logical clocks viene spesso riportato come Lamport timestamps. Dal 2001 lavora alla Microsoft.
E’ stato inoltre lo sviluppatore originale del noto sistema di trattamento testi LaTeX.
Nel 2013 ha ricevuto l’ACM Turing Award per “fondamentali contributi alla teoria e pratica dei sistemi concorrenti distribuiti, in particolare l’invenzione di concetti come causalità e orologi logici, sicurezza e vitalità, macchine a stati replicati, e consistenza sequenziale”.