Nacimiento |
7 de febrero de 1941 Nueva York |
---|---|
Nacionalidad | americano |
Capacitación |
Instituto de Tecnología de Massachusetts ( BSc ) Brandeis University ( Doctora en Filosofía y Maestría ) Bronx High School of Science |
Ocupaciones | Matemático , informático , programador , ingeniero , escritor |
Trabajé para | MITRE (1962-1965) , SRI Internacional (1977-1985) , Corporación de equipos digitales (1985-2001) , Microsoft Research (desde2001) |
---|---|
Áreas | TI , informática distribuida |
Miembro de |
Academia Estadounidense de Artes y Ciencias Academia Estadounidense de Ciencias (2011) |
Director de tesis | Richard Palace |
Sitio web | www.lamport.org |
Premios |
Premio Turing (2013) |
Computación distribuida , LaTeX , TLA + , lógica temporal de acciones ( d ) |
Leslie B. Lamport , nacido el7 de febrero de 1941en Nueva York , es investigador en informática estadounidense , especialista en algoritmos distribuidos . Fue galardonado con el Premio Turing 2013. Es el diseñador del software gratuito de composición de documentos LaTeX ( 1983 ).
Estudió matemáticas en el Instituto de Tecnología de Massachusetts (MIT) y luego en la Universidad de Brandeis, donde recibió su doctorado (doctorado) en matemáticas en 1972. Trabajó en Massachusetts Computer Associates de 1970 a 1977, luego en SRI International desde 1977. a 1985, y en el Centro de Investigación de Sistemas de Digital Equipment Corporation desde 1985 a 2001. Ha trabajado desde 2001 para Microsoft Research .
El algoritmo de panadería es un algoritmo que proporciona una solución "notablemente intuitiva y natural" al problema de exclusión mutua formulado por Dijkstra . La solución anterior propuesta por Dijkstra era una solución de alto nivel a un problema de bajo nivel.
A veces se hace referencia a Lamport como el padre del cálculo distribuido . En particular, en 1979 formuló la relación “ sucedió antes ” (en inglés “ sucedió antes ”), que permite obtener un orden parcial sobre acciones en sistemas distribuidos. Lamport también inventó el sistema de reloj que lleva su nombre . Se utilizan para la sincronización de sistemas distribuidos. También ha trabajado en algunos aspectos criptográficos como contraseñas de un solo uso y otros temas relacionados con el consenso y la competencia en las redes . También estaba interesado en el problema del consenso , en particular el protocolo de Paxos .
Sin embargo, Leslie Lamport es más conocida fuera de la comunidad científica de TI como la creadora de LaTeX (basado en TeX , de Donald Knuth ), sistema de maquetación de documentos especialmente utilizado por científicos de muchas disciplinas (informática, matemáticas , física , bioinformática ...) para documentos que contienen muchas fórmulas matemáticas. Desde entonces, otros han llevado a cabo el desarrollo de LaTeX.
Leslie Lamport ha recibido el Premio Dijkstra tres veces en 2000, 2005 y 2014 y la Medalla John von Neumann en 2008 . Recibió el título de doctor honoris causa otorgado por la Universidad de Rennes 1 en 2003, la Universidad Christian Albrecht de Kiel en 2003 también, por la Escuela Politécnica Federal de Lausana en 2004, por la Universidad de la Suiza Italiana en 2006, y por la Universidad Henri Poincaré en 2007.
La 18 de marzo de 2014, recibe el Premio Turing 2013 por “sus contribuciones fundamentales teóricas y aplicadas en sistemas distribuidos y concurrentes, en particular al inventar conceptos como causalidad y relojes lógicos, […] y coherencia secuencial”.