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.
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.
En la actualidad, trabaja para Microsoft Research.
[editar] Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Leslie LamportCommons.- Página web de Leslie Lamport
- Página web de Microsoft Research
