Leslie Lamport

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar

Leslie B. Lamport (nascido em 7 de fevereiro de 1941) é um cientista e matemático americano da computação. Lamport é mais conhecido por seu trabalho seminal em sistemas distribuídos e como desenvolvedor inicial do LATEX do sistema de preparação de documentos e o autor de seu primeiro manual.

Lamport foi o vencedor do Prêmio Turing de 2013 por impor a coerência clara e bem definida no comportamento aparentemente caótico dos sistemas de computação distribuídos, nos quais vários computadores autônomos se comunicam entregando mensagens. Ele desenvolveu algoritmos importantes e desenvolveu protocolos formais de modelagem e verificação que melhoram a qualidade de sistemas distribuídos reais. Essas contribuições resultaram em maior correção, desempenho e confiabilidade dos sistemas de computador.

Vida inicial e educação

Lamport nasceu em uma família judia no Brooklyn, Nova York, filho de Benjamin e Hannah Lamport (née Lasser). Seu pai era imigrante de Volkovisk no Império Russo (agora Vawkavysk, Bielorrússia) e sua mãe era imigrante do Império Austro-Húngaro, agora sudeste da Polônia.

Formado na Bronx High School of Science, Lamport recebeu um BS em matemática do Instituto de Tecnologia de Massachusetts em 1960, seguido por M.A. (1963) e Ph.D. (1972) diplomas em matemática pela Brandeis University. Sua dissertação, O problema analítico da Cauchy com dados singulares , é sobre singularidades nas equações diferenciais parciais analíticas.

Carreira e pesquisa

Lamport trabalhou como cientista da computação na Massachusetts Computer Associates de 1970 a 1977, Stanford Research Institute (SRI International) de 1977 a 1985, e a Digital Equipment Corporation e a Compaq de 1985 a 2001. Em 2001, ingressou na Microsoft Research na Califórnia.

Sistemas distribuídos

As contribuições da pesquisa de Lamport lançaram os fundamentos da teoria dos sistemas distribuídos. Entre seus papéis mais notáveis estão

  • "Time, Clocks, and the Ordering of Events in a Distributed System", que recebeu os Princípios de Computação Distribuída (PODC) Influential Paper Award em 2000,
  • "Como Fazer um Computador Multiprocessador que Executa Corretamente Programas Multiprocessos", que definiu a noção de consistência sequencial,
  • "O problema dos generais bizantinos",
  • "Distributed Snapshots: Determinando os Estados globais de um sistema distribuído" e
  • «The Part-Time Parliament» (em inglês).

Esses trabalhos se relacionam com conceitos como relógios lógicos (e o aconteceu antes do relacionamento ) e falhas bizantinas. Eles estão entre os trabalhos mais citados no campo da ciência da computação e descrevem algoritmos para resolver muitos problemas fundamentais em sistemas distribuídos, incluindo:

  • o algoritmo Paxos para consenso,
  • o algoritmo de padaria para exclusão mútua de vários fios em um sistema de computador que exigem os mesmos recursos ao mesmo tempo,
  • o algoritmo Chandy-Lamport para a determinação de estados globais consistentes (snapshot), e
  • a assinatura Lamport, um dos protótipos da assinatura digital.

LaTeX

Quando Donald Knuth começou a emitir os primeiros lançamentos da Tex no início dos anos 80, Lamport - devido à sua necessidade pessoal de escrever um livro - também começou a trabalhar em um conjunto de macros com base nele, esperando que mais tarde se tornasse seu padrão pacote macro. Mais tarde, esse conjunto de macros se tornaria conhecido como LATEX, pelo qual Lamport seria abordado posteriormente em 1983 por Peter Gordon, um editor de Addison-Wesley, que propôs que o Lamport transforme seu manual de usuário em um livro.

Em setembro de 1984, a Lamport lançou a versão 2.06a do Latex Macros e, em agosto de 1985, o LATEX 2.09 - a última versão do látex de Lamport - também seria lançada. Enquanto isso, a Primeira Manual do Usuário do Latex de Lamport lançou Lamport, LATEX: um sistema de preparação de documentos , em 1986, que supostamente vendeu-mais de algumas centenas de milhares; Cópias e, em 21 de agosto de 1989, em uma reunião do Tex User Group em Stanford, Lamport concordaria em entregar a manutenção e o desenvolvimento do LATEX a Frank Mittelbach, que, junto com Chris Rowley e Rainer Schöpf, formariam a equipe LateX3, Posteriormente, liberando o Latex 2E, a versão atual do LATEX, em 1994.

Lógica temporal

Lamport também é conhecido por seu trabalho sobre lógica temporal, onde ele introduziu a lógica temporal das ações (TLA). Entre suas contribuições mais recentes está o TLA+, um idioma para especificar e raciocinar sobre sistemas simultâneos e reativos, que ele descreve no livro especificando sistemas: o TLA + Linguagem e ferramentas para engenheiros de hardware e software . ele define TLA+ como uma tentativa quixoticty de superar os engenheiros ' Antipatia em relação à matemática ".

Prémios e honras

Lamport recebeu o Prêmio Turing de 2013 por contribuições fundamentais para a teoria e a prática de sistemas distribuídos e simultâneos, principalmente a invenção de conceitos como causalidade e relógios lógicos, segurança e LIVOR, máquinas de estado replicadas e consistência sequencial e #34; em 2014. Ele foi eleito membro da Academia Nacional de Engenharia em 1991 para contribuições para os fundamentos teóricos da computação concorrente e tolerante a falhas. Ele foi eleito para o Molador da Associação de Computação de Máquinas para Contribuições Fundamentais para a Teoria e Prática de Sistemas Distribuídos e Concorrentes em 2014. Ele também recebeu cinco doutorados honorários de universidades européias: Universidade de Rennes e Christian Albrechts Universidade de Kiel em 2003, École Polytechnique Fédérale de Lausanne (EPFL) em 2004, Universidade de Lugano em 2006 e Nancy-Université em 2007. Em 2004, ele recebeu o Prêmio IEEE Emanuel R. Piore. Em 2005, o artigo chegando ao acordo na presença de falhas " recebeu o prêmio Dijkstra. Em homenagem ao sexagésimo aniversário de Lamport, uma série de palestras foi organizada no 20º Simpósio sobre Princípios de Computação Distribuída (PODC 2001). Em 2008, ele recebeu a medalha IEEE John von Neumann. Em 2011, ele foi eleito para a Academia Nacional de Ciências.

Referências

  1. ^ Leslie Lamport no Mathematics Genealogy Project Edit this at Wikidata
  2. ^ Lamport, Leslie (1986). LaTeX: Um sistema de preparação de documentos. Addison-Wesley. ISBN 978-0-201-15790-1. Retrieved 2019-06-20.
  3. ^ Lamport, Leslie (2013). «Leslie Lamport - A.M. Turing Award Winner» (em inglês). ACM.
  4. ^ Página de perfil do autor de Leslie Lamport na Biblioteca Digital ACM
  5. ↑ a b Lamport, L. (1978). "Tempo, relógios e ordenação de eventos em um sistema distribuído" (PDF). Comunicações da ACM . 21 (7): 558–565. CiteSeerX 10.1.1.142.3682. doi:10.1145/359545.359563. S2CID 215822405.
  6. ^ Leslie Lamport publicações indexadas pela Microsoft Academic
  7. ^ Savage, N. (2014). «General Agreement: Leslie Lamport contribuiu para a teoria e a prática da construção de sistemas de computação distribuídos que funcionam como pretendidos». Comunicações da ACM. 57 (6): 22–23. doi:10.1145/2601076. S2CID 5936915.
  8. ^ Hoffmann, L. (2014). «Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for argumenting about concurrent systems» (em inglês). Comunicações da ACM. 57 (6): 112–ff. doi:10.1145/2601077. S2CID 31514650.
  9. ^ «World War I draft card for Benjamin Lamport» (em inglês). Ancestry.com. Retrieved 12 de Julho 2022.
  10. ↑ a b c Lamport, Leslie (2006-12-19). "Meus escritos". Retrieved 2007-02-02.
  11. ^ Lamport, Leslie (1972). "O Problema Analítico do Cauchy com Dados Singulares". Retrieved 2007-02-02.
  12. ^ Neiger, Gil (2003-01-23). «PODC Influential Paper Award: 2000». Arquivado do original em 2013-09-12. Retrieved 2007-02-02.
  13. ^ Lamport, Leslie (1979). «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Program» (em inglês). IEEE Trans. Computação. 28 (9): 690–691. doi:10.1109/TC.1979.1675439. ISSN 0018-9340. S2CID 5679366.
  14. ^ Lamport, Leslie; Robert Shostak; Marshall Pease (julho de 1982). «The Byzantine Generals Problem» (em inglês). Transações ACM em linguagens de programação e sistemas. 4 (3): 382–401. CiteSeerX 10.1.1.64.2312. doi:10.1145/357172.357176. S2CID 55899582. Retrieved 2007-02-02.
  15. ^ Chandy, K. Mani; Leslie Lamport (fevereiro de 1985). «Distributed Snapshots: Determining Global States of a Distributed System» (em inglês). Transações ACM em Sistemas de Computadores. 3 (1): 63–75. CiteSeerX 10.1.1.69.2561. doi:10.1145/214451.214456. S2CID 207193167. Retrieved 2007-02-02.
  16. ^ Lamport, Leslie (maio de 1998). «The Part-Time Parliament» (em inglês). Transações ACM em Sistemas de Computadores. 16. (2): 133-169. doi:10.1145/279227.279229. S2CID 421028. Retrieved 2007-02-02.
  17. ^ «A maioria dos artigos citados em Ciência da Computação». Setembro 2006. Retrieved 2007-10-08.
  18. ^ Lamport, Leslie. "Como (LA)TEX mudou a face da Matemática" (PDF).
  19. ↑ a b «The Writings of Leslie Lamport» (em inglês). lamport.azurewebsites.net. Retrieved 2019-07-19.
  20. ^ «TeX, LaTeX, and AMS-LaTeX». 1998-12-03. Arquivado do original em 1998-12-03. Retrieved 2019-07-19.
  21. ^ Lamport, Leslie (1990-04-01). "Uma Lógica Temporal de Acções". Retrieved 2007-02-02.
  22. ^ Lamport, Leslie (maio de 1994). «The Temporal Logic of Actions» (em inglês). Transações ACM em linguagens de programação e sistemas. 16. (3): 872–923.10.1145/177492.177726. S2CID 5498471. Retrieved 2007-02-02.
  23. ^ Lamport, Leslie (2002). Sistemas de especificação: A linguagem e ferramentas TLA+ para engenheiros de hardware e software. Addison-Wesley. ISBN 978-0-321-14306-8. Retrieved 2007-02-02.
  24. ^ «The International Conference on Dependeable Systems and Networks keynote Speaker biography» (em inglês). Arquivado do original em 2019-02-12. Retrieved 2021-07-05.
  25. ^ «Turing award 2013» (em inglês). ACM.
  26. ^ Leslie Lamport ACM Fellows 2014
  27. ^ "IEEE Emanuel R. Piore Award Recipients es" (PDF). IEEE. Arquivado do original (PDF) em 2010-11-24. Retrieved 2010-12-31.
  28. ^ Pease, Marshall; Robert Shostak; Leslie Lamport (abril de 1980). «Reaching Agreement in the Presence of Faults» (em inglês). Journal of the Association for Computing Machinery. 27 (2): 228-234. CiteSeerX 10.1.1.68.4044. doi:10.1145/322186.322188. S2CID 6429068. Retrieved 2007-02-02.
  29. ^ "Edsger W. Dijkstra Prize in Distributed Computing: 2005". Retrieved 2007-02-02.
  30. ^ "PODC 2001: Série de Palestra de Lamport". Retrieved 2009-07-02.
  31. ^ John von Neumann Medal Recipients (em inglês) (PDF). IEEE. Arquivado do original (PDF) em 19 de junho de 2010. Retrieved 31 de Dezembro, 2010.
  32. ^ Membros e associados estrangeiros Elected Arquivado em 7 de maio de 2011, no Wayback Machine, Academia Nacional de Ciências, 3 de maio de 2011.
  • Cotações relacionadas com Leslie Lamport no Wikiquote
Más resultados...
Te puede interesar
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save
cancelcheck_circle