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 …

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 …

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, …

Computer scientist Leslie Lamport — celebrated as “the father of principled distributed computing” — is a central figure in the development of protocols that allow computer systems to …

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 …

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

Notable computer scientist Leslie Lamport is best known for his influential work in distributed computing systems. Lamport is also the initial developer of the document preparation system …

Oct 13, 2025 · TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. This web page is the home page of what used to …