Leslie Lamport

Dr. Leslie Lamport (born 1941) is an American computer scientist. A graduate of the Bronx High School of Science, he received a B.S. in mathematics from the Massachusetts Institute of Technology in 1960, and M.A. and Ph.D. degrees in mathematics from Brandeis University, respectively in 1963 and 1972.^[1] His dissertation was about singularities in analytic partial differential equations.^[2] Leslie Lamport Source: http://lamport. ... Leslie Lamport Source: http://lamport. ... For the movie, see 1941 (film). ... Computer science, or computing science, is the study of the theoretical foundations of information and computation and their implementation and application in computer systems. ... The Bronx High School of Science, commonly called Bronx Science, or just Science, is a specialized New York City public high school located in the Bedford Park section of the Bronx, with no tuition charges and admission by exam. ... A bachelors degree (Artium Baccalaureus, A.B. or B.A.) is usually an undergraduate academic degree awarded for a course or major that generally lasts for three, four, or in some cases and countries, five or six years. ... Euclid, Greek mathematician, 3rd century BC, as imagined by by Raphael in this detail from The School of Athens. ... The Massachusetts Institute of Technology (MIT) is a private, coeducational research university located in Cambridge, Massachusetts. ... 1960 (MCMLX) was a leap year starting on Friday (the link is to a full 1960 calendar). ... A masters degree is an academic degree usually awarded for completion of a postgraduate (or graduate) course of one to three years in duration. ... Doctor of Philosophy, abbreviated Ph. ... Brandeis University is a private university in Waltham, Massachusetts, United States. ... 1963 (MCMLXIII) was a common year starting on Tuesday (the link is to a full 1963 calendar). ... 1972 (MCMLXXII) was a leap year starting on Saturday. ... In mathematics, a partial differential equation (PDE) is a relation involving an unknown function of several independent variables and its partial derivatives with respect to those variables. ...

Professionally, Lamport worked as a computer scientist at Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, and Compaq. In 2001 he joined Microsoft Research at Mountain View, California.^[1] SRI Internationals main campus on Ravenswood Avenue, Menlo Park, California SRI International is one of the worlds largest contract research institutions. ... The DEC logo Digital Equipment Corporation was a pioneering American company in the computer industry. ... Compaq Computer Corporation is an American personal computer company founded in 1982, and now a brand name of Hewlett-Packard. ... Microsoft Research is a division of Microsoft that is devoted to researching various computer science topics and issues. ... Mountain View is a city in Santa Clara County, in the U.S. state of California. ...

Lamport’s research contributions have laid the foundations of the theory of distributed systems. Among his most notable papers are This article or section should be merged with Distributed computing In computer science, a distributed system is an application that consists of components running on different computers concurrently. ...

• “Time, Clocks, and the Ordering of Events in a Distributed System”,^[3] which received the PODC Influential Paper Award in 2000,^[4]
• “The Byzantine Generals Problem”,^[5]
• “Distributed Snapshots: Determining Global States of a Distributed System”^[6] and
• “The Part-Time Parliament”.^[7]

These papers relate to such concepts as logical clocks (and the happened-before relationship) and Byzantine failures. They are among the most cited papers in the field of distributed systems^{[citation needed]} and describe algorithms to solve many fundamental problems in distributed systems, including: 2000 (MM) was a leap year starting on Saturday of the Gregorian calendar. ... A logical clock is a mechanism for capturing chronological and causal relationships in a distributed system. ... The happened-before relationship is important in figuring out partial ordering of events and in producing and synchronizing logical clocks for asynchronous distributed systems. ... In fault-tolerant distributed computing, a Byzantine failure is an arbitrary fault that occurs during the execution of an algorithm by a distributed system. ...

• the Paxos algorithm for consensus,
• the bakery algorithm for mutual exclusion of multiple threads in a computer system that require the same resources at the same time and
• the snapshot algorithm for the determination of consistent global states.

Lamport is also known for his work on temporal logic, where he introduced the Temporal Logic of Actions (TLA).^[8][9] Among his more recent contributions is TLA⁺, a logic for specifying and reasoning about concurrent and reactive systems, that he describes in the book “Specifying Systems: The TLA⁺ Language and Tools for Hardware and Software Engineers”^[10] and defines as a “quixotic attempt to overcome engineers’ antipathy towards mathematics”.^[11] The Paxos algorithm, originally proposed by Leslie Lamport in a paper submitted in 1990 but not published until 1998, is a fault tolerant algorithm for reaching consensus in a distributed system. ... Consensus is a problem [1] in distributed computing that encapsulates the task of group agreement in the presence of faults. ... Lamports bakery algorithm is a computer algorithm devised by computer scientist Dr Leslie Lamport, which is intended to improve the robustness of multiple thread-handling processes by means of mutual exclusion. ... Mutual exclusion (often abbreviated to mutex) algorithms are used in concurrent programming to avoid the simultaneous use of un-shareable resources by pieces of computer code called critical sections. ... The snapshot algorithm is an algorithm used in distributed systems for recording a consistent global state of an asynchronous system. ... In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. ... A logic developed by Leslie Lamport, which combines Temporal Logic with a logic of actions. ...

Lamport received four honorary doctorates from European universities: University of Rennes and Christian Albrechts University of Kiel in 2003, EPFL in 2004 and University of Lugano in 2006.^[1] In 2004, he received the IEEE Piore Award.^[12] In 2005, the paper “Reaching Agreement in the Presence of Faults”^[13] received the Dijkstra Prize.^[14] Some medieval houses, such as these at Champ-Jacquet, can still be found in the center of Rennes. ... The University of Kiel, in full the Christian-Albrechts-Universität zu Kiel (in short: CAU), is a university in the city of Kiel, Germany. ... The Monster Clothespin from Outer Space, and entrance of the EPFL The École Polytechnique Fédérale de Lausanne (EPFL) is the Swiss Federal Institute of Technology in Lausanne in Switzerland. ... Università della Svizzera italiana, the University of Italian-speaking Switzerland, is a Swiss university, in the city of Lugano, in Ticino. ... The Institute of Electrical and Electronics Engineers or IEEE (pronounced as eye-triple-ee) is an international non-profit, professional organization incorporated in the State of New York, United States. ... Emanuel (Mannie) Ruben Piore (19 July 1908 Vilnius – 9 May 2000) was a scientist and a manager of industrial research. ... The Edsger W. Dijkstra Prize is a prize for outstanding papers on the principles of distributed computing, named after Edsger W. Dijkstra. ...

Outside of computer science, Lamport is best known as the initial developer of the document preparation system LaTeX.^[15] The LaTeX logo, typeset with LaTeX LATEX, written as LaTeX in plain text, is a document markup language and document preparation system for the TeX typesetting program. ...

Lamport is the author of the aphorism:^[16] This article or section does not adequately cite its references or sources. ...

References

For the Manfred Mann album, see 2006 (album). ... December 19 is the 353rd day of the year (354th in leap years) in the Gregorian calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2003 (MMIII) was a common year starting on Wednesday of the Gregorian calendar. ... January 23 is the 23rd day of the year in the Gregorian calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... MCMXC redirects here; for the Enigma album, see MCMXC a. ... April 1 is the 91st day of the year (92nd in leap years) in the Gregorian calendar, with 274 days remaining. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... March 6 is the 65th day of the year in the Gregorian calendar (66th in leap years). ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... February 2 is the 33rd day of the year in the Gregorian Calendar. ... 1987 (MCMLXXXVII) was a common year starting on Thursday of the Gregorian calendar. ... May 28 is the 148th day of the year in the Gregorian calendar (149th in leap years). ... 2007 (MMVII) is the current year, a common year starting on Monday of the Gregorian calendar and the Anno Domini (common) era. ... April 16 is the 106th day of the year in the Gregorian calendar (107th in leap years). ...

External links

• Leslie Lamport’s home page