Leslie Lampport

Leslie Lampport
Nacido	( 07-02-1941 )7 de febrero de 1941 (83 años) Ciudad de Nueva York, Estados Unidos
Alma máter	Instituto Tecnológico de Massachusetts ( BS ) Universidad Brandeis ( Maestría , Doctorado )
Conocido por	Látex Cadena hash ( S/KEY ) Consistencia secuencial El algoritmo de panadería de Lamport Tolerancia a fallas bizantinas Algoritmo de Paxos Firma de Lamport Lógica temporal de las acciones TLA+
Premios	Premio Dijkstra (2000, 2005, 2014) Premio IEEE Emanuel R. Piore (2004) Medalla IEEE John von Neumann (2008) Premio Turing (2013) Miembro de la Academia Nacional de Ciencias (2011) Becario ACM (2014)
Carrera científica
Campos	Ciencias de la Computación
Instituciones	Investigación de Microsoft Compaq Corporación de equipos digitales SRI Internacional
Tesis	El problema analítico de Cauchy con datos singulares  (1972)
Asesor de doctorado	Richard Palacio [1]
Sitio web	lampport.org

Leslie B. Lamport (nacido el 7 de febrero de 1941) es un informático y matemático estadounidense . Lamport es más conocido por su trabajo seminal en sistemas distribuidos , y por ser el desarrollador inicial del sistema de preparación de documentos LaTeX y el autor de su primer manual. ^[2]

Lamport fue el ganador del Premio Turing 2013 ^[3] 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 envío de mensajes. Ideó importantes algoritmos y desarrolló protocolos formales de modelado y verificación que mejoran la calidad de los sistemas distribuidos reales. Estas contribuciones han dado como resultado una mejora en la corrección, el rendimiento y la confiabilidad de los sistemas informáticos. ^{[4] [5] [6] [7] [8]}

Lamport nació en una familia judía en Brooklyn, Nueva York, hijo de Benjamin y Hannah Lamport (de soltera Lasser). ^{[ cita requerida ]} Su padre era un inmigrante de Volkovisk en el Imperio ruso (ahora Vawkavysk , Bielorrusia ) ^[9] y su madre era una inmigrante del Imperio austrohúngaro , ahora sureste de Polonia.

Lamport se graduó en la Bronx High School of Science y obtuvo una licenciatura en matemáticas en el Massachusetts Institute of Technology en 1960, seguida de una maestría (1963) y un doctorado (1972) en matemáticas en la Brandeis University . ^[10] Su tesis doctoral, The analítica Cauchy problem with singular data , trata sobre las singularidades en ecuaciones diferenciales parciales analíticas . ^[11]

Lamport trabajó como científico informático en Massachusetts Computer Associates de 1970 a 1977, en Stanford Research Institute ( SRI International ) de 1977 a 1985, y en Digital Equipment Corporation y Compaq de 1985 a 2001. En 2001 se unió a Microsoft Research en California . ^[10]

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

• "Tiempo, relojes y ordenamiento de eventos en un sistema distribuido", ^[5] que recibió el premio al artículo influyente de Principles of Distributed Computing (PODC) 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 estados globales de un sistema distribuido" ^[15] y
• "El Parlamento a tiempo parcial". ^[16]

Estos artículos se relacionan con conceptos como los relojes lógicos (y la relación entre lo que sucedió antes ) y los fallos bizantinos . 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, entre ellos:

• El algoritmo 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.

Cuando Donald Knuth comenzó a publicar las primeras versiones de TeX a principios de los años 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 más tarde se convirtiera en su paquete de macros estándar. Este conjunto de macros más tarde se conocería como LaTeX , para lo cual Peter Gordon, un editor de Addison-Wesley , se acercó a Lamport en 1983 y le propuso que convirtiera su manual de usuario en un libro. ^{[18] [19]}

En septiembre de 1984, Lamport publicó la versión 2.06a de las macros de LaTeX, y en agosto de 1985 también se publicaría LaTeX 2.09, la última versión de LaTeX de Lamport. Mientras tanto, Addison-Wesley publicó el primer manual de usuario de LaTeX de Lamport, LaTeX: A Document Preparation System , en 1986, del que supuestamente se vendieron "más de unos pocos 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 entregar el mantenimiento y desarrollo de LaTeX a Frank Mittelbach, quien, junto con Chris Rowley y Rainer Schöpf, formaría el equipo LaTeX3, lanzando posteriormente LaTeX 2e, la versión actual de LaTeX, en 1994. ^{[19] [20]}

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] Define TLA+ como un " intento quijotesco de superar la antipatía de los ingenieros hacia las matemáticas". ^[24]

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 estados replicadas y consistencia secuencial" en 2014. ^[25] Fue elegido miembro de la Academia Nacional de Ingeniería en 1991 por sus contribuciones a los fundamentos teóricos de la computación concurrente y tolerante a fallas. Fue elegido miembro de la Association for Computing Machinery por sus contribuciones fundamentales a la teoría y la práctica de los sistemas distribuidos y concurrentes en 2014. ^[26] También recibió cinco doctorados honorarios de universidades europeas: la Universidad de Rennes y la Universidad Christian Albrechts de Kiel en 2003, la École Polytechnique Fédérale de Lausanne (EPFL) en 2004, la Universidad de Lugano en 2006 y la Nancy-Université en 2007. ^[10] En 2004, recibió el Premio IEEE Emanuel R. Piore . ^[27] En 2005, el artículo "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 John von Neumann del IEEE . ^[31] En 2011, fue elegido miembro de la Academia Nacional de Ciencias . ^[32]

• Citas relacionadas con Leslie Lamport en Wikiquote