Leslie Lamport (geboren ? in ?) ist ein amerikanischer Mathematiker, Informatiker und Programmierer.
Lamport hat 1969 am Massachusetts Institute of Technology seinen Batchelor in Mathematik gemacht. 1963 hat er dann an der Brandeis University zunächst einen M.A. und dann 1972 einen Doktortitel erlangt, ebenfalls in Mathematik.
In der Informatik ist Lamport sehr bekannt: Einerseits als Entwickler von LaTeX, andererseits weil er sich um die Theoretische Informatik verdient gemacht hat. Er hat auf diesem Gebiet in vielen bereichen geforscht. Davon seien hier einige aufgezählt:
- Die Temporale Logik, wo er die Temporal Logic of Actions (TLA) einführte.
- Der Bereich Verteilte Systeme, wo er sich vor allem mit der Synchronisation von Logischen Uhren beschäftigt hat: siehe Lamport-Uhr.
- In der Formalen Semantik beschäftigte er sich mit Korrektheitsbeweisen für Parallele Algorythmen.
Lamport arbeitet im Augenblick 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.