Citizendia
Your Ad Here

Leslie Lamport

Born February 7, 1941
New York City, New York
Fields Computer Science
Institutions Microsoft Research
Compaq
Digital Equipment Corporation
SRI International
Alma mater Brandeis University
Known for LaTeX
Byzantine fault tolerance
Paxos algorithm
Notable awards Dijkstra Prize
IEEE John von Neumann Medal

Dr. Events 457 - Leo I becomes emperor of the Byzantine Empire. 1074 - Battle of Montesarchio in which the Prince Year 1941 ( MCMXLI) was a Common year starting on Wednesday (the link will display 1941 calendar of the Gregorian calendar. The City of New York New York ( is a state in the Mid-Atlantic and Northeastern regions of the United States and is the nation's third most populous Computer science (or computing science) is the study and the Science of the theoretical foundations of Information and Computation and their Microsoft Research (MSR is a division of Microsoft created in 1991 for researching various Computer science topics and issues Compaq Computer Corporation was an American Personal computer company founded in 1982 and is now a brand name of Hewlett-Packard. Digital Equipment Corporation was a pioneering American company in the Computer industry SRI International, based in the United States is one of the world's largest contract Research institutes. Alma mater is Latin for "nourishing mother" It was used in Ancient Rome as a title for the mother Goddess, and in Medieval Brandeis University is a private research University with a Liberal arts focus located in Waltham Massachusetts, United States. LaTeX (ˈleɪtɛ Paxos is a family of protocols for solving consensus in a network of unreliable processors The prize is given for outstanding papers on the principles of distributed computing whose significance and impact on the theory and/or practice of distributed computing has been evident for at least The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science Leslie Lamport (born February 7, 1941 in New York City) is an American computer scientist. Events 457 - Leo I becomes emperor of the Byzantine Empire. 1074 - Battle of Montesarchio in which the Prince Year 1941 ( MCMXLI) was a Common year starting on Wednesday (the link will display 1941 calendar of the Gregorian calendar. The City of New York The United States of America —commonly referred to as the Computer science (or computing science) is the study and the Science of the theoretical foundations of Information and Computation and their 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. The Bronx High School of Science (commonly called Bronx Science, Bronx Sci, or just Science, and officially known as H A bachelor's degree is usually an Undergraduate Academic degree awarded for a course or major that generally lasts for three four or in some cases and Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and Year 1960 ( MCMLX) was a Leap year starting on Friday (link will display full calendar of the Gregorian calendar. "PhD" redirects here for other uses see PhD (disambiguation. Brandeis University is a private research University with a Liberal arts focus located in Waltham Massachusetts, United States. Year 1963 ( MCMLXIII) was a Common year starting on Tuesday (link will display full calendar of the Gregorian calendar. Year 1972 ( MCMLXXII) was a Leap year starting on Saturday (link will display full calendar of the Gregorian calendar. [1] His dissertation was about singularities in analytic partial differential equations. In Mathematics, partial differential equations ( PDE) are a type of Differential equation, i [2] Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX. LaTeX (ˈleɪtɛ [3]

Professionally, Lamport worked as a computer scientist at Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, and Compaq. SRI International, based in the United States is one of the world's largest contract Research institutes. Digital Equipment Corporation was a pioneering American company in the Computer industry Compaq Computer Corporation was an American Personal computer company founded in 1982 and is now a brand name of Hewlett-Packard. In 2001 he joined Microsoft Research at Mountain View, California. Microsoft Research (MSR is a division of Microsoft created in 1991 for researching various Computer science topics and issues [1]

Lamport’s research contributions have laid the foundations of the theory of distributed systems. Distributed computing deals with Hardware and Software Systems containing more than one processing element or Storage element concurrent Among his most notable papers are

These papers relate to such concepts as logical clocks (and the happened-before relationship) and Byzantine failures. A logical clock is a mechanism for capturing chronological and causal relationships in a Distributed system. The happened-before relation (denoted \to is a means of ordering events based on the causal relationship of two events in asynchronous They are among the most cited papers in the field of computer science[9] and describe algorithms to solve many fundamental problems in distributed systems, including:

Lamport is also known for his work on temporal logic, where he introduced the temporal logic of actions (TLA). 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 Temporal logic of actions (TLA is a logic developed by Leslie Lamport, which combines Temporal logic with a logic of actions [10][11] 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”[12] and defines as a “quixotic attempt to overcome engineers' antipathy towards mathematics”. Quixotism is the description of a person or an act that is caught up in the romance of noble deeds and the pursuit of unreachable goals [13]

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. The University of Rennes 1 is one of the two main universities in the city of Rennes, France. The University of Kiel ( German Christian-Albrechts-Universität zu Kiel, CAU) is a University in the city of Kiel, Germany Università della Svizzera italiana (USI literally University of Italian Switzerland, English name University of Lugano) is a public [1] In 2004, he received the IEEE Piore Award. The Institute of Electrical and Electronics Engineers or IEEE (read eye-triple-e) is an international Non-profit, professional organization Emanuel (Mannie Ruben Piore ( 19 July 1908 &ndash 9 May 2000) was a scientist and a manager of industrial research [14] In 2005, the paper “Reaching Agreement in the Presence of Faults”[15] received the Dijkstra Prize. The prize is given for outstanding papers on the principles of distributed computing whose significance and impact on the theory and/or practice of distributed computing has been evident for at least [16]

Lamport is the author of the aphorism:[17]

“

A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable. ”

See also

References

  1. ^ a b c Lamport, Leslie (2006-12-19). S/KEY is a One-time password system developed for Authentication to Unix-like Operating systems especially from Dumb terminals or Year 2006 ( MMVI) was a Common year starting on Sunday of the Gregorian calendar. Events 324 - Licinius abdicates his position as Roman Emperor. My Writings. Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor
  2. ^ Lamport, Leslie (1972). "The Analytic Cauchy Problem with Singular Data". Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor
  3. ^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor
  4. ^ Lamport, Leslie (July 1978). “Time, Clocks and the Ordering of Events in a Distributed System”. Communications of the ACM 21 (7): 558–565.  
  5. ^ Neiger, Gil (2003-01-23). Year 2003 ( MMIII) was a Common year starting on Wednesday of the Gregorian calendar. Events 393 - Roman Emperor Theodosius I proclaims his nine year old son Honorius co-emperor PODC Influential Paper Award: 2000. Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor
  6. ^ Lamport, Leslie; Robert Shostak, Marshall Pease (July 1982). “The Byzantine Generals Problem”. ACM Transactions on Programming Languages and Systems 4 (3): 382–401.  
  7. ^ Chandy, K. Mani; Leslie Lamport (February 1985). “Distributed Snapshots: Determining Global States of a Distributed System”. ACM Transactions on Computer Systems 3 (1): 63–75.  
  8. ^ Lamport, Leslie (May 1998). “The Part-Time Parliament”. ACM Transactions on Computer Systems 16 (2): 133–169.  
  9. ^ Most cited articles in Computer Science (2006-09). Retrieved on 2007-10-08. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 314 - Roman Emperor Licinius is defeated by his colleague Constantine I at the Battle of Cibalae, and loses
  10. ^ Lamport, Leslie (1990-04-01). Year 1990 ( MCMXC) was a Common year starting on Monday (link displays the 1990 Gregorian calendar) Events 527 - Byzantine Emperor Justin I names his nephew Justinian I as co-ruler and successor to the throne "A Temporal Logic of Actions". Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor
  11. ^ Lamport, Leslie (May 1994). "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems 16 (3): 872–923.  
  12. ^ Lamport, Leslie (2002). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley. ISBN 0-321-14306-X. Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor  
  13. ^ The International Conference on Dependable Systems and Networks keynote speaker biography. Retrieved on 2007-03-06. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 1079 - Omar Khayyám completes the Iranian calendar. 1454 - Thirteen Years' War: Delegates of
  14. ^ IEEE Emanuel R. Piore Award Recipients. Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor
  15. ^ Pease, Marshall; Robert Shostak, Leslie Lamport (April 1980). “Reaching Agreement in the Presence of Faults”. Journal of the Association for Computing Machinery 27 (2).  
  16. ^ Edsger W. Dijkstra Prize in Distributed Computing: 2005. Retrieved on 2007-02-02. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 962 - Translatio imperii: Pope John XII crowns Otto I Holy Roman Emperor, the first Holy Roman Emperor
  17. ^ Lamport, Leslie (1987-05-28). Year 1987 ( MCMLXXXVII) was a Common year starting on Thursday (link displays 1987 Gregorian calendar) Events 585 BC - A Solar eclipse occurs as predicted by Greek philosopher and scientist Thales, while Alyattes is battling Distribution e-mail. Retrieved on 2007-04-16. Year 2007 ( MMVII) was a Common year starting on Monday of the Gregorian calendar in the 21st century. Events 1178 BC - A Solar eclipse may have marked the return of Odysseus, legendary King of Ithaca, to his kingdom

External links

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
 Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic