Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.

Microsoft has graciously agreed to maintain my website. However, my Microsoft email address no longer works. If I know you, I may have forgotten to tell you my new email address.

May 15, 2025 · It not only lists the papers I have written, but also describes them and explains how I came to write some of them. I have included almost all my technical papers and electronic versions …

Leslie Lamport, American computer scientist who received the 2013 Turing Award for his work explaining and formulating the behavior of distributed computing systems (i.e., systems made up of …

For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state …

Oct 21, 2025 · Lamport’s papers on logical correctness, concurrency, and multiprocessor computing are some of the most frequently cited articles in all of computer science, essentially laying the …

In 2013, Lamport received the A.M. Turing Award, computer science’s Nobel Prize. Now a distinguished scientist at Microsoft Research Lab, Lamport says he is especially grateful to Brandeis’ math …

JH Wensley, L Lamport, J Goldberg, MW Green, KN Levitt, ...

For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state …

Leslie Lamport is a research scientist for Microsoft Corporation. He won the 2013 Turing Award, considered the "Nobel Prize of computer science." He is also the author of the LaTeX document. …