Leslie lamport

Leslie B. Lamport (nacida el 7 de febrero de 1941 en Brooklyn) es una científica informática y matemática estadounidense. Lamport es mejor conocido por su trabajo seminal en sistemas distribuidos y como el desarrollador inicial del sistema de preparación de documentos LaTeX y el autor de su primer manual.

Lamport fue el ganador del Premio Turing 2013 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ó protocolos formales de modelado y verificación que mejoran la calidad de los sistemas distribuidos reales. Estas contribuciones han dado como resultado una corrección, un rendimiento y una fiabilidad mejorados de los sistemas informáticos.

Vida temprana y educación

Lamport nació en una familia judía en Brooklyn, Nueva York, hijo de Benjamin y Hannah Lamport (de soltera Lasser). Su padre era un inmigrante de Volkovisk en el Imperio Ruso (ahora Vawkavysk, Bielorrusia) y su madre era una inmigrante del Imperio Austro-Húngaro, ahora sureste de Polonia.

Graduado de la Escuela Secundaria de Ciencias del Bronx, Lamport recibió un B.S. en matemáticas del Instituto de Tecnología de Massachusetts en 1960, seguido de MA (1963) y Ph.D. (1972) grados en matemáticas de la Universidad de Brandeis. Su disertación, El problema analítico de Cauchy con datos singulares, trata sobre singularidades en ecuaciones diferenciales parciales analíticas.

Carrera e investigación

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 incorporó a Microsoft Research en California.

Sistemas distribuidos

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

• "Time, Clocks, and the Ordering of Events in a Distributed System", que recibió los Principios de Computación Distribuida (PODC) Influential Paper Award en 2000,
• "Cómo hacer un ordenador multiprocesador que ejecuta correctamente programas de multiproceso", que definió la noción de consistencia secuencial,
• "El problema de los generales bizantinos",
• "Distribuida instantáneas: Determinación de los Estados Globales de un Sistema Distribuido" y
• "El Parlamento de tiempo parcial".

Estos documentos se relacionan con conceptos tales como relojes lógicos (y la relación ocurrió antes) y fallas bizantinas. Se encuentran entre los artículos más citados en el campo de la informática 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 hilos en un sistema informático que requieren los mismos recursos al mismo tiempo,
• el algoritmo Chandy-Lamport para la determinación de estados globales consistentes (snapshot), y
• la firma Lamport, uno de los prototipos de la firma digital.

Látex

Cuando Donald Knuth comenzó a publicar las primeras versiones 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 estándar. paquete de macros Este conjunto de macros más tarde se conocería como LaTeX, por lo que Peter Gordon, un editor de Addison-Wesley, se acercó a Lamport en 1983 y propuso que Lamport convirtiera su manual de usuario en un libro.

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 publicó 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 pocos cientos de miles" copias, y el 21 de agosto de 1989, en una reunión del grupo de usuarios de TeX en Stanford, Lamport acordaría entregar el mantenimiento y desarrollo de LaTeX a Frank Mittelbach, quien, junto con Chris Rowley y Rainer Schöpf, formarían el equipo LaTeX3, posteriormente lanzando LaTeX 2e, la versión actual de LaTeX, en 1994.

Lógica temporal

Lamport también es conocido por su trabajo sobre lógica temporal, donde introdujo la lógica temporal de las acciones (TLA). 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.. Define TLA+ como un "intento quijotesco de superar a los ingenieros' antipatía hacia las matemáticas".

Premios y distinciones

Lamport recibió el Premio Turing 2013 por "contribuciones fundamentales a la teoría y 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& #34; en 2014. 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 contribuciones fundamentales a la teoría y práctica de sistemas distribuidos y concurrentes en 2014. También recibió cinco doctorados honorarios de universidades europeas: Universidad de Rennes y Universidad Christian Albrechts de Kiel en 2003, École Polytechnique Fédérale de Lausanne (EPFL) en 2004, Universidad de Lugano en 2006 y Nancy-Université en 2007. En 2004, recibió el premio IEEE Emanuel R. Piore. En 2005, el artículo "Llegar a un acuerdo en presencia de fallas" recibió el Premio Dijkstra. 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). En 2008, recibió la Medalla IEEE John von Neumann. En 2011, fue elegido miembro de la Academia Nacional de Ciencias.