Leslie Lamport

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda
Leslie Lamport
Leslie Lamport.jpg
Nacimiento 07 de febrero de 1941
New York City
Campo Ciencias de la Computación
Instituciones
Alma máter
Supervisor doctoral Richard Palais[1]
Tesis The analytic Cauchy problem with singular data (1972)
Conocido por
Premios
destacados
[http://www.lamport.org Sitio web]


Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense. Es especialmente conocido por sus trabajos en sistemas Distribuidos y por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX.[2] Fue ganador del Premio Turing de 2013 por sus trabajos para imponer coherencia sobre el aparente comportamiento caótico de los sistemas distribuidos, en los cuales varios ordenadores se comunican mediante un mecanismo de paso de mensajes. En su trabajo ha diseñado algoritmos, modelos formales y protocolos de verificación que mejoran la corrección, eficiencia y seguridad de dichos sistemas distribuidos.[3] [4] [5] [6]

Educación[editar]

Leslie Lamport se licenció en matemáticas en 1960 en el MIT (Massachusetts Institute of Technology). También cursó un máster (1963) y un doctorado (1972) en la Universidad de Brandeis, ambos en matemáticas.[1] [7] [8]

Carrera profesional[editar]

Lamport ha trabajado como científico en Massachusetts Computer Associates entre 1970 y 1977, SRI International entre 1977 y 1985, y Digital Equipment Corporation y Compaq entre 1985 y 2001. Entre 2001 y la actualidad trabaja en Microsoft Research.[7]

En el campo de las ciencias de la computación, Lamport es reconocido por su trabajo en algorítmica distribuida y en lógica temporal, en la cual introdujo la lógica de acciones temporal (Temporal Logic of Actions, TLA). Formuló la relación "ocurrido antes" (happened before), importante en relojes lógicos de sistemas distribuidos, ya que permite obtener una ordenación parcial. También introdujo el algoritmo de la panadería de Lamport para exclusión mutua de múltiples hilos en un computador que requieren los mismos recursos al mismo tiempo.[7]

Referencias[editar]

Enlaces externos[editar]