Leslie B. Lamport (nacida el 7 de febrero de 1941) es una científica informática y matemática estadounidense . Lamport es mejor conocido por su trabajo fundamental en sistemas distribuidos y como desarrollador inicial del sistema de preparación de documentos LaTeX y autor de su primer manual. [2]
Lamport fue el ganador del Premio Turing 2013 [3] por imponer una coherencia clara y bien definida al comportamiento aparentemente caótico de los sistemas informáticos distribuidos , en los que varios ordenadores autónomos se comunican entre sí mediante 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 mayor corrección, rendimiento y 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 necesaria ] 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.
Graduado de la Bronx High School of Science , Lamport recibió una licenciatura en matemáticas del Instituto Tecnológico de Massachusetts en 1960, seguida de una maestría (1963) y un doctorado. (1972) Licenciatura en Matemáticas de la Universidad Brandeis . [10] Su disertación, El problema analítico de Cauchy con datos singulares , trata sobre singularidades en ecuaciones diferenciales parciales analíticas . [11]
Lamport trabajó como informático en Massachusetts Computer Associates de 1970 a 1977, en el Stanford Research Institute ( SRI International ) de 1977 a 1985, y en Digital Equipment Corporation y Compaq de 1985 a 2001. En 2001 se incorporó 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 trabajos más destacados se encuentran
Estos artículos se relacionan con conceptos tales como relojes lógicos (y la relación de lo 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:
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 más tarde se convirtiera en su paquete de macros estándar. Este conjunto de macros se conocería más tarde como LaTeX , por lo que Peter Gordon, un editor de Addison-Wesley , se acercó 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 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: A Document Preparation System , en 1986, que supuestamente vendió "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ían el equipo de 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 las 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 sistemas distribuidos y concurrentes en 2014. [26] También recibió cinco doctorados honoris causa de universidades europeas: la Universidad de Rennes y la 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. [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 XX 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 . [32]