Tugurium/GTI

Glosario Terminología Informática

Lamport, Leslie

0 Estados Unidos, 1941-
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.
2014-05-14
Leslie Lamport

Leslie Lamport