Frases de Leslie Lamport

Leslie B. Lamport é 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. O tema de sua tese de doutorado foram singularidades em equações diferenciais parciais analíticas.

Após a graduação, ele começou sua carreira como cientista computacional no Massachusetts Computer Associates, SRI International, Digital, e Compaq. Em 2001, ele se juntou à Microsoft Research em Mountain View, na California.

Suas pesquisas contribuíram com a fundação da teoria de sistemas distribuídos. Alguns dos seus mais notáveis papers nesta área são os seguintes:



"Time, Clocks, and the Ordering of Events in a Distributed System"

"Distributed snapshots: determining global states of distributed systems"

"The Byzantine Generals Problem"

"The Part-time Parliament"Esses artigos introduziram novos conceitos na ciência computacional, tais como relógios lógicos e a relação antes-depois, bem como as falhas Bizantinas. Estes são alguns dos artigos mais citados no campo de sistemas distribuídos, e descrevem algoritmos para a resolução de muitos problemas fundamentais em sistemas distribuídos, incluindo:



O algoritmo de Paxos para consenso the Paxos

O algoritmo da padaria para exclusão mútua de múltiplos threads em um sistema de computadores que requerem as mesmas fontes ao mesmo tempo.

O algoritmo Snapshot para determinação dos estados globais consistentes.Lamport recebeu quatro títulos do Doutor 'Honoris Causa' por universidades europeias: Universidade de Rennes e Universidade Christian Albrechts de Kiel em 2003, EPFL em 2004, University of Lugano em 2006. Em 2004 ele também recebeu o IEEE Piore Award por causa de suas expressivas contribuições no campo do processamento de informação, em relação à ciência computacional, contribuído significativamente ao avanço e ao melhoramento da sociedade.

Fora da ciência computacional, Lamport é conhecido como desenvolvedor inicial do sistema de preparação de documentos LaTeX.

Recebeu o Prêmio Turing de 2013. Wikipedia  

✵ 7. Fevereiro 1941
Leslie Lamport photo
Leslie Lamport: 4   citações 0   Curtidas

Leslie Lamport: Frases em inglês

“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.”

As quoted in [Nathan, David E., Computer scientist Leslie Lamport to grads: If you can’t write, it won’t compute, https://www.brandeis.edu/now/2017/may/commencement-lamport.html, Brandeis University, 17 January 2020, May 21, 2017]

“Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.”

In [Lamport, Leslie, Why We Should Build Software Like We Build Houses, https://www.wired.com/2013/01/code-bugs-programming-why-we-need-specs/, Wired Magazine, 17 January 2020, January 25, 2013]

“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.

As quoted in [Dahlia Malkhi, Concurrency: The Works of Leslie Lamport, https://books.google.com/books?id=z_m2DwAAQBAJ, 16 September 2019, Association for Computing Machinery and Morgan & Claypool Publishers, 978-1-4503-7273-2, 137]

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

Email of 28 May 1987 https://lamport.azurewebsites.net/pubs/distributed-system.txt
As quoted in [Teresa K. Attwood, Stephen R. Pettifer, David Thorne, Bioinformatics Challenges at the Interface of Biology and Computer Science: Mind the Gap, https://books.google.com/books?id=_i-8DAAAQBAJ&pg=PA266, 26 September 2016, John Wiley & Sons, 978-0-470-03548-1, 266–]