Yahoo Web Search

  1. About 44 search results

  1. Leslie Lamport Last modified 13 August 2022. 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.

  2. Leslie B. Lamport (born February 7, 1941 in Brooklyn) 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. [2]

  3. www.microsoft.com › en-us › researchMicrosoft Research

    Microsoft Research

  4. www.quantamagazine.org › computing-expert-saysQuanta Magazine

    May 17, 2022 · Leslie Lamport may not be a household name, but he’s behind a few of them for computer scientists: the typesetting program LaTeX and the work that made cloud infrastructure at Google and Amazon possible. He’s also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine ...

  5. www.microsoft.com › en-us › researchMicrosoft Research

    Microsoft Research

  6. The Hanselminutes Podcast by Scott Hanselman - Fresh Air for Developers - Deep tech talk from an inclusive perspective

  7. Mar 18, 2022 · The TLA+ Home Page. Leslie Lamport. Last modified on 18 March 2022

  1. People also search for