Leslie Lamport

Listeners · Last.fm

Listeners

4

Total plays

14

<a href="https://www.last.fm/music/Leslie+Lamport">Read more on Last.fm</a>

via Last.fm · Leslie Lamport

Recent publications · Crossref

5 total works indexed

1. SciPy 1.0: fundamental algorithms for scientific computing in Python

   · 2020 · cited 34,745x

2. The Determination of Pore Volume and Area Distributions in Porous Substances. I. Computations from Nitrogen Isotherms

   · 1951 · cited 11,902x

3. Overview of the<i>CCP</i>4 suite and current developments

   · 2011 · cited 11,874x

4. Global and regional mortality from 235 causes of death for 20 age groups in 1990 and 2010: a systematic analysis for the Global Burden of Disease Study 2010

   · 2012 · cited 10,740x

5. The RAST Server: Rapid Annotations using Subsystems Technology

   · 2008 · cited 10,640x

via Crossref · CC0

Quotes

• “A distributed system is one in which the failure of a computer you didn't even know existed can render your own computer unusable.”
• “I think in other things that I've done, I can look back and see: "This idea developed from something else." Sometimes it would lead back to a previous idea of mine, very often it would lead to something somebody else had done. But the Bakery algorithm just seemed to come out of thin air to me. There was nothing like it that preceded it, so perhaps that's why I'm proudest of it.”
• “The first thing is deciding what the program should do. If you don’t think carefully about that, it’s going to wind up not doing something that it probably should do or you wind up with an ‘absolute bug-free program’. Because to have a bug, you have to have some notion of what it means for the program to be operating correctly. And there is no precise definition of what it means for the program to be correctly operating — so, well, no bugs. Not a very good situation.”
• “With so many people doing so much writing, great writing is hard to find ... If you succeed in attaining a position that allows you to do something great, if you do something that really is great, and if you realize that it’s great, there’s still one more hurdle: You have to convince others that it’s great. This will require writing.”
• “Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.”

via Wikiquote · CC BY-SA

Key facts

Born

( 1941-02-07 ) February 7, 1941 (age 85) , New York City, U.S.

Alma mater

Massachusetts Institute of Technology ( BS ) Brandeis University ( MA , PhD )

Known for

LaTeX Hash chain ( S/KEY ) Sequential consistency Lamport's bakery algorithm Byzantine fault tolerance Paxos algorithm Lamport signature Temporal logic of actions TLA+

Awards

Dijkstra Prize (2000, 2005, 2014) IEEE Emanuel R. Piore Award (2004) IEEE John von Neumann Medal (2008) Turing Award (2013) Member of the National Academy of Sciences (2011) ACM Fellow (2014)

Fields

Computer science

Institutions

Microsoft Research Compaq Digital Equipment Corporation SRI International

Thesis

The analytic Cauchy problem with singular data (1972)

Doctoral advisor

Richard Palais

Website

lamport .azurewebsites .net

via Wikipedia infobox

Wikidata facts

Official website

www.lamport.org

Image

Leslie Lamport.jpg

via Wikidata · CC0