Leslie Lamport

Leslie Lamport Imagen en Infobox. Biografía
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
Otras informaciones
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)
Obras primarias
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 ).

Carrera profesional

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 .

Obras

Algoritmo de panadería

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.

Sistemas distribuidos

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 .

Látex

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.

Honores y premios

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”.

Bibliografía

Referencias

  1. (in) "  Leslie Lamport  " en el sitio web del Proyecto de Genealogía de Matemáticas .
  2. http://amturing.acm.org/award_winners/lamport_1205376.cfm .
  3. ticket de Michel Raynal en el blog Binary of the World (22 de marzo de 2014).
  4. Ver la página del Premio Dijkstra en el sitio web de EATCS .
  5. Michel Raynal, "  Una mirada a las contribuciones de Leslie Lamport a través del Premio Dijkstra  ", Bulletin de la Société Informatique de Francia ,marzo 2015, p.  61-65 ( leer en línea )
  6. "  IEEE John von Neumann Medal Recipients  " , IEEE (consultado el 15 de marzo de 2010 ) .
  7. "  Leslie Lamport, una científica informática en las nubes  " , en lemonde.fr ,16 de junio de 2014(consultado el 11 de julio de 2018 )
  8. "  Leslie Lamport, el hombre que enseñó a las computadoras a trabajar juntas  " , en lesechos.fr ,30 de mayo de 2014(consultado el 11 de julio de 2018 )

Apéndices

Artículos relacionados

enlaces externos