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
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:
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