Leslie Lamport (geboren am 7. Februar 1941 in New York City) ist ein amerikanischer Computerwissenschaftler. Lamport ist für seine Samenarbeit in verteilten Systemen und als der anfängliche Entwickler des Dokumentenvorbereitungssystem-LATEX am besten bekannt.

Frühes Leben und Ausbildung

Ein Absolvent der Bronx Höheren Schule der Wissenschaft, er hat einen B.S. in der Mathematik vom Institut von Massachusetts für die Technologie 1960 und M.A.- und Doktorgrade in der Mathematik von der Brandeis Universität, beziehungsweise 1963 und 1972 erhalten. Seine Doktorarbeit war über Eigenartigkeiten in analytischen teilweisen Differenzialgleichungen.

Karriere

Beruflich hat Lamport als ein Computerwissenschaftler an Massachusetts Computer Associates von 1970 bis 1977, SRI International von 1977 bis 1985, und Digital Equipment Corporation und Compaq von 1985 bis 2001 gearbeitet. 2001 hat er sich Microsoft Research bei der Bergansicht, Kalifornien angeschlossen.

Die Forschungsbeiträge von Lamport haben die Fundamente der Theorie von verteilten Systemen gelegt. Unter seinen bemerkenswertesten Papieren sind

• "Zeit, Uhren und die Einrichtung von Ereignissen in einem Verteilten System", das den PODC Einflussreichen Papierpreis 2000, erhalten

• "Wie man einen Mehrverarbeiter-Computer Macht, Der Richtig Mehrprozess-Programme Durchführt", die den Begriff der Folgenden Konsistenz, definiert

• "Das Problem der byzantinischen Generäle",
• "Verteilte Schnellschüsse: Bestimmung von globalen Staaten eines verteilten Systems" und
• "Das Teilzeitparlament".

Diese Papiere beziehen sich auf solche Konzepte wie logische Uhren (und der zufällig - vor der Beziehung) und byzantinische Misserfolge. Sie sind unter den am meisten zitierten Papieren im Feld der Informatik und beschreiben Algorithmen, um viele grundsätzliche Probleme in verteilten Systemen zu beheben, einschließlich:

• der Algorithmus von Paxos für die Einigkeit,
• der Backalgorithmus für den gegenseitigen Ausschluss von vielfachen Fäden in einem Computersystem, die dieselben Mittel zur gleichen Zeit und verlangen
• der Schnellschuss-Algorithmus für den Entschluss von konsequenten globalen Staaten.

Lamport ist auch für seine Arbeit an der zeitlichen Logik bekannt, wo er die zeitliche Logik von Handlungen (TLA) eingeführt hat. Unter seinen neueren Beiträgen ist TLA, eine Logik, um anzugeben und über gleichzeitige und reaktive Systeme vernünftig zu urteilen, dass er im Buch "das Spezifizieren von Systemen beschreibt: Die TLA Sprache und Werkzeuge für die Hardware und Softwareingenieure" und definieren als ein "donquichottischer Versuch, die Abneigung von Ingenieuren zur Mathematik zu überwinden".

Preise und Mitgliedschaften

Lamport hat vier Ehrendoktorate von europäischen Universitäten erhalten: Universität der Universität von Rennes und Christian Albrechts Kiels 2003, EPFL 2004 und Universität von Lugano 2006. 2004 hat er den IEEE Emanuel R. Piore Award empfangen. 2005 hat das Papier "Das Treffen der Vereinbarung in Gegenwart von Schulden" den Dijkstra Preis erhalten. Zu Ehren vom sechzigsten Geburtstag von Lamport wurde eine Vortrag-Reihe auf dem 20. Symposium auf Grundsätzen der Verteilten Computerwissenschaft (PODC 2001) organisiert. 2008 hat er die IEEE Medaille von John von Neumann erhalten. 2011 wurde er zur Nationalen USA-Akademie von Wissenschaften gewählt.

Siehe auch

• Unterschrift von Lamport - Das Lamport ehemalige Unterschrift-Schema ist eine Methode, für eine Digitalunterschrift zu bauen.
• S/KEY - ein ehemaliges Kennwort-System manchmal gekennzeichnet als das Schema von Lamport

Links

• Die Hausseite von Leslie Lamport