Search results
Leslie B. Lamport (born February 7, 1941) is an American computer scientist and mathematician. 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.
Learn about Leslie Lamport, a pioneer of distributed systems and TLA+, who works at Microsoft Research. Find his contact information, publications, and TLA+ resources.
Leslie Lamport is a computer scientist who won the 2013 Turing Award for his work on distributed systems and LaTeX. He is a researcher at Microsoft Research Lab in Redmond, Washington, and has published extensively on systems and networking topics.
Apr 29, 2024 · Leslie Lamport. Last modified 29 April 2024. This document is a sort of scientific autobiography. 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 of many of them for downloading.
May 9, 2017 · Leslie Lamport (born February 7, 1941, New York, New York) is an American computer scientist who was awarded the 2013 Turing Award for explaining and formulating the behaviour of distributed computing systems (i.e., systems made up of multiple autonomous computers that communicate by exchanging messages with one another).
- The Editors of Encyclopaedia Britannica
Mar 18, 2014 · Learn about the life and achievements of Leslie Lamport, a Microsoft Research principal scientist and the 2013 Turing Award winner for his contributions to distributed computing. Read testimonials from his colleagues and peers, and explore his influential papers and projects.
Password authentication with insecure communication. L Lamport. Communications of the ACM 24 (11), 770-772. , 1981. 4046. 1981. How to make a multiprocessor computer that correctly executes multiprocess programs. Lamport. IEEE transactions on computers 100 (9), 690-691.
Related searches
