Usuario:Pau84/Leslie Lamport
Leslie Lamport (nacido en 1941) es un computólogo estadounidense. Es especialmente conocido por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX.
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.
Antes de finalizar su doctorado ya comenzó su trayectoria profesional desde 1970 a 1977 en el MIT y despúes, hasta 1985 en SRI International. Los siguientes 16 años (1985-2001) los pasó como investigador en Digital Equipment Corporation (posteriormente Compaq Corporation) donde desarolló la Lógica Temporal de Acciones (TLA), que se basa en un conjunto de herramientas para sistemas concurrentes, y que cuenta con diversos algoritmos que incluyen soluciones para la tolerancia a fallos bizantinos.
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. 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.
Desde 2001 trabaja en el centro de investigación de Silicon Valley de Microsoft Research y ha sido merecedor de varios premios y galardones, entre los que se encuentran:
- (2004) IEEE Emanuel R. Piore Award[1]
- (2000)[2] - (2005)[3] Dijkstra Prize
- (2008) IEEE John von Neumann Medal[4]
Referencias
[editar]- ↑ «IEEE Emanuel R. Piore Award Recipients». IEEE. Consultado el 16 de mayo de 2013.
- ↑ «PODC Influential Paper Award: 2000», ACM Symposium on Principles of Distributed Computing, consultado el 16 de mayo de 2013.
- ↑ «Edsger W. Dijkstra Prize in Distributed Computing: 2005», ACM Symposium on Principles of Distributed Computing, consultado el 16 de mayo de 2013.
- ↑ «IEEE John von Neumann Medal Recipients». IEEE. Consultado el 16 de mayo de 2013.
Véase también
[editar]- Página de Wikipedia en Inglés de Leslie Lamport
Enlaces externos
[editar]
Wikimedia Commons alberga una galería multimedia sobre Pau84/Leslie Lamport.- Página web de Leslie Lamport
- Boigrafía en IEEE Global History Network
- Página web de Microsoft Research
Categoría:Informáticos de Estados Unidos Categoría:Informáticos teóricos de Estados Unidos Categoría:Medalla John von Neumann Categoría:Empleados de Microsoft Categoría:TeX