Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

Leslie Lamport (* 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 Doktortitel (Ph.D.).

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 Prozesssynchronisation beschäftigt hat (siehe auch Lamport-Uhr, Guarded Statement).
• In der Formalen Semantik beschäftigte er sich mit Korrektheitsbeweisen für Parallele Algorithmen.

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.

Auszeichnungen

• National Academy of Engineering (1991)
• PODC Influential Paper Award (2000)
• Ehrendoktor, Universität von Rennes (2003)
• Ehrendoktor, Christian-Albrechts-Universität Kiel (2003)
• Ehrendoktor, École Polytechnique Fédérale de Lausanne (2004)
• IEEE Piore Award (2004)

Weblinks

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

Personendaten
NAME	Lamport, Leslie
KURZBESCHREIBUNG	US-amerikanischer Mathematiker, Informatiker und Programmierer und Entwickler von LaTeX
GEBURTSDATUM	1941