Matemático e informático. Es el creador del sistema de formateo de textos LaTeX y BibTeX.2. Ha realizado trabajos sobre Sistemas Distribuidos, buscando imponer coherencia sobre su comportamiento caótico, desarrollando algoritmos, modelos formales y protocolos de verificación para mejorar su corrección, eficiencia y seguridad.
Galardonado con el Premio Turing en 2013.
![Leslie Lamport](images/L/Lamport_Leslie.jpg)
Leslie Lamport