miniatur|Leslie Lamport
Leslie Lamport (* 7. Februar 1941 in New York)Lebensdaten nach American Men and Women of Science, Thomson Gale 2004 ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. 2013 erhielt er den Turing Award für seine Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme.
Leben Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1962 bis 1965 arbeitete er in Teilzeit für die Mitre Corporation. 1963 erlangte er an der Brandeis University zunächst einen MA-Abschluss (Master of Arts) und wurde 1972 bei Richard Palais in Mathematik promoviert (The Analytic Cauchy Problem with Singular Data). Lamport war 1965 bis 1969 Professor für Mathematik am Marlboro College und arbeitete 1970 bis 1977 für Massachusetts Computer Associates. 1977 bis 1985 war er bei SRI International und 1985 bis 2001 bei der Digital Equipment Corporation/Compaq (als Senior Consulting Engineer). Seit 2001 arbeitet er für Microsoft Research.
Werk Lamport ist als Entwickler von LaTeX 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, Sequentielle Konsistenz, Schnappschussalgorithmus, Byzantinischer Fehler). In die Temporale Logik führte er die Temporale Logik der Aktionen (TLA) ein. In der Kryptologie entwickelte er 1979 zusammen mit Whitfield Diffie das Lamport-Einmal-Signaturverfahren.
Schriften LaTeX: a document preparation system, Addison-Wesley 1986, 2. Auflage 1994 Specifying systems: the TLA+ language and tools for hardware and software engineers, Addison-Wesley 2003 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 Mitglied der National Academy of Engineering (1991) PODC Influential Paper Award (2000, heute Dijkstra-Preis) Ehrendoktor, Universität Rennes 1 (2003) Ehrendoktor, Christian-Albrechts-Universität zu Kiel (2003) Ehrendoktor, École polytechnique fédérale de Lausanne (2004) Ehrendoktor, Università della Svizzera italiana, Lugano (2006) IEEE Emanuel R. Piore Award (2004) Dijkstra-Preis (2005) Ehrendoktor, Université Henri Poincaré, Nancy (2007) IEEE John-von-Neumann-Medaille (2008) Mitglied der National Academy of Sciences (2011) ACM A.M. Turing Award (2013) Dijkstra-Preis (2014) Mitglied der American Academy of Arts and Sciences (2014) Fellow des Computer History Museum (2019)
Weblinks
Leslie Lamports Home Page (englisch) Hall of Fame der University of Pittsburgh (englisch)
Einzelnachweise
Kategorie:Entwickler Freier Software Kategorie:TeX Kategorie:Informatiker Kategorie:Person (Microsoft) Kategorie:Träger des Turing Award Kategorie:Absolvent des Massachusetts Institute of Technology Kategorie:Ehrendoktor der Christian-Albrechts-Universität zu Kiel Kategorie:Ehrendoktor der Universität der italienischen Schweiz Kategorie:Ehrendoktor der Universität Rennes 1 Kategorie:Mitglied der National Academy of Engineering Kategorie:Mitglied der National Academy of Sciences Kategorie:Mitglied der American Academy of Arts and Sciences Kategorie:US-Amerikaner Kategorie:Geboren 1941 Kategorie:Mann