Resultado da Busca
Leslie Lamport is an American computer scientist and mathematician who won the 2013 Turing Award for his work on distributed systems. He also developed LaTeX, temporal logic, and other concepts and algorithms in computer science.
Leslie B. Lamport (7 de fevereiro de 1941) é um cientista da computação estadunidense. Lamport formou-se em matemática pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em matemática pela Universidade Brandeis, concluídos respectivamente em 1963 e 1972.
Learn about Leslie Lamport, a pioneer of distributed systems and TLA+, who works at Microsoft Research. Find his contact information, publications, and TLA+ resources.
23 de dez. de 2022 · 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.
Distributed snapshots: Determining global states of distributed systems. KM Chandy, L Lamport. ACM Transactions on Computer Systems (TOCS) 3 (1), 63-75. , 1985. 4076. 1985. How to make a multiprocessor computer that correctly executes multiprocess programs. Lamport. IEEE transactions on computers 100 (9), 690-691.
13 de jun. de 2024 · A web page that lists and describes the papers written by Leslie Lamport, a pioneer of distributed computing and Turing Award winner. It also includes his curriculum vitae, honors, and some stories behind his work.
Learn about the life and work of Leslie Lamport, a pioneer of distributed and concurrent systems, who invented concepts such as causality, logical clocks, and Byzantine agreement. Explore his influential papers, algorithms, and parables, such as the Bakery Algorithm.
