Leslie Lamport

Aus LexiDict

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 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:

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

Lamport arbeitet seit 2001 für Microsoft Research.

Weblinks

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

Dieser Artikel basiert auf dem Artikel Leslie Lamport aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.