Leslie Lamport

Leslie Lamport

Leslie Lamport (* 7. Februar 1941 in New York) ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer.

Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1963 erlangte er an der Brandeis University zunächst den MA-Abschluss (Master of Arts) und erhielt 1972 für eine Arbeit in Mathematik den Doktorgrad (Ph.D.).

Lamport ist als Entwickler von LaTeX sehr bekannt. In der Theoretischen Informatik hat er unter anderem in folgenden Bereichen geforscht:

• In der Formalen Semantik beschäftigte er sich mit Korrektheitsbeweisen für Parallele Algorithmen.
• Im Bereich Verteilte Systeme untersuchte er vor allem die Prozesssynchronisation (siehe auch Lamport-Uhr, Guarded Statement, Schnappschussalgorithmus, Byzantinischer Fehler).
• In die Temporale Logik führte er die Temporale Logik der Aktionen (TLA) ein.

Lamport arbeitet seit 2001 für Microsoft Research.

Werke

• Time, Clocks and the Ordering of Events in a Distributed System: Erstmals veröffentlicht in: Communications of the ACM 21, 7 (July 1978), S. 558–565. Neu aufgelegt u.A. in Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.
• The Writings of Leslie Lamport, kommentierte Liste der Veröffentlichungen von Leslie Lamport

Auszeichnungen

• National Academy of Engineering (1991)
• PODC Influential Paper Award (2000, heute Dijkstra-Preis)
• Ehrendoktor, Universität Rennes I (2003)
• Ehrendoktor, Christian-Albrechts-Universität zu Kiel (2003)
• Ehrendoktor, École polytechnique fédérale de Lausanne (2004)
• IEEE Piore Award (2004)
• 2005, Dijkstra Preis
• IEEE John-von-Neumann-Medaille (2008)

Weblinks

• Leslie Lamports Home Page (englisch)
• Hall of Fame der University of Pittsburgh (englisch)