De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda
Leslie Lamport
Leslie Lamport.jpg
Nació
Leslie B. Lamport

( 07/02/1941 )7 de febrero de 1941 (80 años)
Nueva York , Nueva York
alma mater
Conocido por
Premios
Carrera científica
Los camposCiencias de la Computación
Instituciones
TesisEl problema analítico de Cauchy con datos singulares  (1972)
Asesor de doctoradoRichard Palais [1]
Sitio weblamport .org

Leslie Lamport B. (nacido el 7 de febrero de 1941) es un americano científico de la computación . Lamport es mejor conocido por su trabajo fundamental en sistemas distribuidos , y como el desarrollador inicial del sistema de preparación de documentos LaTeX y el autor de su primer manual. [2] [3] Leslie Lamport fue la ganadora del Premio Turing 2013 [4] por imponer una coherencia clara y bien definida en el comportamiento aparentemente caótico de los sistemas informáticos distribuidos , en los que varias computadoras autónomas se comunican entre sí mediante el paso de mensajes. Ideó algoritmos importantes y desarrolló modelos formales.y protocolos de verificación que mejoran la calidad de los sistemas distribuidos reales. Estas contribuciones han dado como resultado una mejor corrección, rendimiento y confiabilidad de los sistemas informáticos. [5] [6] [7] [8] [9]

Educación y vida temprana [ editar ]

Graduado de Bronx High School of Science , recibió una licenciatura en matemáticas del Instituto de Tecnología de Massachusetts en 1960, y una maestría y un doctorado. grados en matemáticas de la Universidad de Brandeis , respectivamente en 1963 y 1972. [10] Su disertación fue sobre singularidades en ecuaciones diferenciales parciales analíticas . [11]

Carrera e investigación [ editar ]

Lamport trabajó como informático en Massachusetts Computer Associates de 1970 a 1977, SRI International de 1977 a 1985 y Digital Equipment Corporation y Compaq de 1985 a 2001. En 2001 se unió a Microsoft Research en Mountain View, California , que cerró en 2014. [10]

Sistemas distribuidos [ editar ]

Las contribuciones de investigación de Lamport han sentado las bases de la teoría de los sistemas distribuidos. Entre sus trabajos más notables se encuentran

  • "Tiempo, relojes y ordenación de eventos en un sistema distribuido", [6] que recibió el premio PODC Influential Paper Award en 2000, [12]
  • "Cómo hacer una computadora multiprocesador que ejecute correctamente programas multiproceso", [13] que definió la noción de consistencia secuencial ,
  • " El problema de los generales bizantinos ", [14]
  • "Instantáneas distribuidas: determinación de los estados globales de un sistema distribuido" [15] y
  • "El Parlamento a tiempo parcial". [dieciséis]

Estos artículos se relacionan con conceptos tales como relojes lógicos (y la relación de sucedido antes ) y fallas bizantinas . Se encuentran entre los artículos más citados en el campo de la informática, [17] y describen algoritmos para resolver muchos problemas fundamentales en sistemas distribuidos, que incluyen:

  • el algoritmo de Paxos para el consenso ,
  • el algoritmo de panadería para la exclusión mutua de múltiples subprocesos en un sistema informático que requieren los mismos recursos al mismo tiempo,
  • el algoritmo de Chandy-Lamport para la determinación de estados globales consistentes (instantánea), y
  • la firma Lamport , uno de los prototipos de la firma digital.

LaTeX [ editar ]

Cuando Donald Knuth comenzó a publicar los primeros lanzamientos de TeX a principios de la década de 1980, Lamport, debido a su necesidad personal de escribir un libro, también comenzó a trabajar en un conjunto de macros basadas en él, con la esperanza de que luego se convirtiera en su paquete de macros estándar. Este conjunto de macros se conocería más tarde como LaTeX , para lo cual Peter Gordon, un editor de Addison-Wesley , se acercó posteriormente a Lamport en 1983 , quien propuso que Lamport convirtiera su manual de usuario en un libro. [18] [19]

En septiembre de 1984, Lamport lanzó la versión 2.06a de las macros de LaTeX, y en agosto de 1985, también se lanzaría LaTeX 2.09, la última versión de LaTeX de Lamport. Mientras tanto, Addison-Wesley lanzó el primer manual de usuario de LaTeX de Lamport, LaTeX: un sistema de preparación de documentos , en 1986, que supuestamente vendió "más de unos cientos de miles" de copias, y el 21 de agosto de 1989, en una reunión del Grupo de usuarios de TeX en Stanford , Lamport aceptaría ceder el mantenimiento y desarrollo de LaTeX a Frank Mittelbach, quien, junto con Chris Rowley y Rainer Schöpf, formaría el equipo de LaTeX3, y posteriormente lanzaría LaTeX 2e, la versión actual de LaTeX, en 1994. [19] [3] [20]

Lógica temporal [ editar ]

Lamport también es conocido por su trabajo sobre lógica temporal , donde introdujo la lógica temporal de acciones (TLA). [21] [22] Entre sus contribuciones más recientes se encuentra TLA + , un lenguaje para especificar y razonar sobre sistemas concurrentes y reactivos, que describe en el libro Specifying Systems: The TLA + Language and Tools for Hardware and Software Engineers [23] y se define como un " intento quijotesco de superar la antipatía de los ingenieros hacia las matemáticas". [24]

Premios y honores [ editar ]

Lamport recibió el premio Turing 2013 por "contribuciones fundamentales a la teoría y la práctica de sistemas distribuidos y concurrentes, en particular la invención de conceptos como causalidad y relojes lógicos, seguridad y vitalidad, máquinas de estado replicadas y consistencia secuencial" en 2014. [25 ] Fue elegido miembro de ACM por sus contribuciones fundamentales a la teoría y la práctica de sistemas distribuidos y concurrentes en 2014. [26] También recibió cinco doctorados honoris causa de universidades europeas: Universidad de Rennes y Christian Albrechts Universidad de Kiel en 2003, EPFL en 2004, Universidad de Lugano en 2006, yNancy-Université en 2007. [10] En 2004, recibió el premio IEEE Emanuel R. Piore . [27] En 2005, el documento "Llegar a un acuerdo en presencia de fallas" [28] recibió el Premio Dijkstra . [29] En honor al sexagésimo cumpleaños de Lamport, se organizó una serie de conferencias en el 20º Simposio sobre Principios de Computación Distribuida (PODC 2001). [30] En 2008, recibió la medalla IEEE John von Neumann . [31] En 2011, fue elegido miembro de la Academia Nacional de Ciencias de Estados Unidos . [32]

Referencias [ editar ]

  1. ^ Leslie Lamport en el Proyecto de genealogía de matemáticas
  2. ^ Lamport, Leslie (1986). LaTeX: un sistema de preparación de documentos . Addison-Wesley. ISBN 978-0-201-15790-1. Consultado el 20 de junio de 2019 .
  3. ^ a b "La introducción definitiva, no técnica a LaTeX, composición tipográfica profesional y publicación científica" . Bóveda de matemáticas . 2015-09-05 . Consultado el 19 de julio de 2019 .
  4. ^ Lamport, Leslie (2013). "Leslie Lamport - Ganadora del premio AM Turing" . ACM.
  5. ^ Página de perfil de autor de Leslie Lamport en laBiblioteca digital de ACM
  6. ↑ a b Lamport, L. (1978). "Hora, relojes y ordenamiento de eventos en un sistema distribuido" (PDF) . Comunicaciones de la ACM . 21 (7): 558–565. CiteSeerX 10.1.1.142.3682 . doi : 10.1145 / 359545.359563 . S2CID 215822405 .   
  7. ^ Lista de publicaciones de Microsoft Academic
  8. ^ Salvaje, N. (2014). "Acuerdo general: Leslie Lamport contribuyó a la teoría y la práctica de la construcción de sistemas informáticos distribuidos que funcionan según lo previsto". Comunicaciones de la ACM . 57 (6): 22-23. doi : 10.1145 / 2601076 . S2CID 5936915 . 
  9. ^ Hoffmann, L. (2014). "Q&A Divide and Conquer: Leslie Lamport sobre generales bizantinos, relojes y otras herramientas para razonar sobre sistemas concurrentes". Comunicaciones de la ACM . 57 (6): 112 – y sigs. doi : 10.1145 / 2601077 . S2CID 31514650 . 
  10. ↑ a b c Lamport, Leslie (19 de diciembre de 2006). "Mis escritos" . Consultado el 2 de febrero de 2007 .
  11. ^ Lamport, Leslie (1972). "El problema de Cauchy analítico con datos singulares" . Consultado el 2 de febrero de 2007 . Cite journal requiere |journal=( ayuda )
  12. ↑ Neiger, Gil (23 de enero de 2003). "Premio PODC Influential Paper Award: 2000" . Archivado desde el original el 9 de julio de 2013 . Consultado el 2 de febrero de 2007 .
  13. ^ Lamport, Leslie (1979). "Cómo hacer una computadora multiprocesador que ejecute correctamente un programa multiproceso" . IEEE Trans. Computación . 28 (9): 690–691. doi : 10.1109 / TC.1979.1675439 . ISSN 0018-9340 . S2CID 5679366 .  
  14. ^ Lamport, Leslie; Robert Shostak; Marshall Pease (julio de 1982). "El problema de los generales bizantinos" . Transacciones ACM sobre lenguajes y sistemas de programación . 4 (3): 382–401. CiteSeerX 10.1.1.64.2312 . doi : 10.1145 / 357172.357176 . Consultado el 2 de febrero de 2007 . 
  15. ^ Chandy, K. Mani; Leslie Lamport (febrero de 1985). "Instantáneas distribuidas: determinación de los estados globales de un sistema distribuido" . Transacciones ACM en sistemas informáticos . 3 (1): 63–75. CiteSeerX 10.1.1.69.2561 . doi : 10.1145 / 214451.214456 . S2CID 207193167 . Consultado el 2 de febrero de 2007 .  
  16. ^ Lamport, Leslie (mayo de 1998). "El Parlamento a tiempo parcial" . Transacciones ACM en sistemas informáticos . 16 (2): 133-169. doi : 10.1145 / 279227.279229 . S2CID 421028 . Consultado el 2 de febrero de 2007 . 
  17. ^ "Artículos más citados en informática" . Septiembre de 2006 . Consultado el 8 de octubre de 2007 .
  18. ^ Lamport, Leslie. "Cómo (LA) TEX cambió la faz de las matemáticas" (PDF) .
  19. ^ a b "Los escritos de Leslie Lamport" . lamport.azurewebsites.net . Consultado el 19 de julio de 2019 .
  20. ^ "TeX, LaTeX y AMS-LaTeX" . 1998-12-03. Archivado desde el original el 3 de diciembre de 1998 . Consultado el 19 de julio de 2019 .
  21. ↑ Lamport, Leslie (1 de abril de 1990). "Una lógica temporal de acciones" . Consultado el 2 de febrero de 2007 . Cite journal requiere |journal=( ayuda )
  22. ^ Lamport, Leslie (mayo de 1994). "La lógica temporal de las acciones" . Transacciones ACM sobre lenguajes y sistemas de programación . 16 (3): 872–923. doi : 10.1145 / 177492.177726 . S2CID 5498471 . Consultado el 2 de febrero de 2007 . 
  23. ^ Lamport, Leslie (2002). Especificación de sistemas: el lenguaje y las herramientas TLA + para ingenieros de hardware y software . Addison-Wesley. ISBN 978-0-321-14306-8. Consultado el 2 de febrero de 2007 .
  24. ^ "La conferencia internacional sobre redes y sistemas confiables biografía del orador principal" . Consultado el 6 de marzo de 2007 .
  25. ^ "Premio Turing 2013" . ACM.
  26. ^ Leslie Lamport ACM Becarios 2014
  27. ^ "Destinatarios del premio IEEE Emanuel R. Piore es" (PDF) . IEEE. Archivado desde el original (PDF) el 24 de noviembre de 2010 . Consultado el 31 de diciembre de 2010 .
  28. ^ Pease, Marshall; Robert Shostak; Leslie Lamport (abril de 1980). "Llegar a un acuerdo en presencia de fallas" . Revista de la Asociación de Maquinaria Informática . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . doi : 10.1145 / 322186.322188 . S2CID 6429068 . Consultado el 2 de febrero de 2007 .  
  29. ^ "Premio Edsger W. Dijkstra en Computación distribuida: 2005" . Consultado el 2 de febrero de 2007 .
  30. ^ "PODC 2001: Serie de conferencias de Lamport" . Consultado el 2 de julio de 2009 .
  31. ^ "Destinatarios de la medalla IEEE John von Neumann" (PDF) . IEEE . Consultado el 31 de diciembre de 2010 .
  32. ^ Miembros y asociados extranjeros elegidos Archivado el 7 de mayo de 2011 en la Wayback Machine , Academia Nacional de Ciencias, 3 de mayo de 2011.

Enlaces externos [ editar ]

  • Citas relacionadas con Leslie Lamport en Wikiquote