Leslie Lamport, uno scienziato informatico, è ben noto per i suoi contributi al calcolo concorrente e ai sistemi distribuiti. Il suo articolo Time Clocks and the Ordering of Events in a Distributed System è stato premiato per la sua influenza duratura sul campo. Lamport è anche noto per aver creato il sistema di composizione tipografica LaTeX e il libro best-seller LaTeX Second Edition che lo documenta (Addison-Wesley 1994). Ora presso Microsoft Research a Mountain View, in California, ha iniziato il suo lavoro su TLA+ presso il Digital (in seguito Compaq) Systems Research Center di Palo Alto. Lamport, che ha conseguito il dottorato di ricerca in matematica presso la Brandeis University, è membro della National Academy of Engineering. 032114306XAB06262002 . Lingua: Inglese