Abo
  • Services:
Anzeige
Turing-Preisträger Leslie Lamport
Turing-Preisträger Leslie Lamport (Bild: Leslie Lamport)

Leslie Lamport: Turing-Award für LaTeX-Erfinder

Der Mathematiker Leslie Lamport wird mit dem Turing-Award 2013 ausgezeichnet. Der inzwischen für Microsoft tätige Wissenschaftler erfand nicht nur das Textsatzsystem LaTeX, sondern erforschte auch viele Grundlagen für Vernetzung von Rechnern und die Kryptographie.

Anzeige

Im Alter von 73 Jahren erhält Leslie Lamport mit dem Turing-Award die höchste Auszeichnung der Computerwissenschaften. Die seit 1962 vergebene Auszeichnung gilt in der IT als dem Nobelpreis ebenbürtige Ehrung. Lamport erhält den Preis nicht für sein bekanntestes Projekt, das durch Makros vereinfachte Textsatzsystem LaTeX, das auf Tex basiert - daher stammt auch der Name des vor allem bei Wissenschaftlern für Formeln beliebten Programms: Lamports Tex. Vielmehr zeigt sich am Beispiel von LaTeX, was schon seit den 1960er Jahren der Schwerpunkt des Doktors der Mathematik ist: die Beschreibung von komplexen Problemen mittels mathematischer Formeln. Dafür leistete Lamport, der seit 2001 für Microsoft Research arbeitet, viel Grundlagenarbeit.

Bereits 1976 wurde seine Arbeit "Time, Clocks and the Ordering of Events in a Distributed System" (PDF) veröffentlicht, die für viele Protokolle vor allem bei vernetzten Rechnern die Basis darstellt. Lamport beschreibt darin die Synchronisation mehrerer Zeitgeber (clocks) und schlägt Zeitstempel dafür vor. Dieses Konzept wurde vielfach aufgegriffen. Lamport bezeichnet das Papier auf einer Übersichtsseite seiner Arbeiten als das am meisten zitierte, Google gibt ihm mit über 180.000 Fundstellen dabei recht. Später entwickelte Lamport daraus die Temporale Logik der Aktionen, (TLA) zu deren Umsetzung er auch eine Reihe von Open-Source-Tools veröffentlicht hat.

Auch der theoretischen Informatik und der Kryptographie widmete sich der Forscher. So schlug er 1982 einen Algorithmus für die Lösung des Byzantinischen Fehlers vor, der sich in Mehrprozessorsystemen umsetzen ließ. Zu diesem Problem, das die Integrität von Nachrichten beschreibt, hatte Lamport bereits seit dem Ende der 1970er Jahre mehrere Arbeiten veröffentlicht.

Ebenfalls 1979 schlug der Ausgezeichnete die erste digitale Signatur vor, aus der später das Lamport-Diffie-Verfahren hervorging. In seinen eigenen Kommentaren zu seinen Veröffentlichungen beschreibt Lamport, dass die Idee dazu eine der klassischen Silicon-Valley-Legenden darstellt: Sie entstand in einem Café in Berkeley, als der später als Vorreiter der Public-Key-Verschlüsselung gefeierte Whitfiled Diffie ihm erzählte, dass er nach einer Lösung für die digitale Signierung eines Dokuments suche. Ebenso klassisch ist die verpasste Chance, denn die Arbeit zur ersten digitalen Signatur reichte er nie zur Veröffentlichung in einem Fachmedium ein. Nach seiner damaligen Meinung - die Lamport heute als "möglicherweise falsch" bezeichnet - gab es bereits besser geeignete Algorithmen.

Der Turing-Award 2013 wird an Leslie Lamport am 21. Juni 2014 in San Francisco übergeben. Das Preisgeld beträgt 250.000 US-Dollar, dieser Betrag wird seit 2007 von den Firmen Google und Intel gestiftet.


eye home zur Startseite
der_wahre_hannes 20. Mär 2014

War ich ja wenigstens nicht der einzige, der drüber gestolpert ist. :)

graigcozadd1 20. Mär 2014

Davon abgesehen sind Sachen wie Quellenangabe etc

nie (Golem.de) 19. Mär 2014

Und einen Absatz weiter: "Lamport erhält den Preis nicht für sein bekanntestes Projekt...



Anzeige

Stellenmarkt
  1. Habermaaß GmbH, Bad Rodach
  2. ZELTWANGER Automation GmbH, Dußlingen
  3. Universität Passau, Passau
  4. Wasser- und Schifffahrtsamt Kiel-Holtenau, Kiel


Anzeige
Top-Angebote
  1. 79,99€ statt 119,99€
  2. 49,99€ statt 69,99€
  3. (u. a. Echo Dot 34,99€ statt 59,99€)

Folgen Sie uns
       


  1. Kabelnetz

    Vodafone liefert Kabelradio-Receiver mit Analogabschaltung

  2. Einigung erzielt

    EU verbietet Geoblocking im Online-Handel

  3. Unitymedia

    Discounter Eazy kommt technisch nicht an das TV-Kabelnetz

  4. Rollenspielklassiker

    Enhanced Edition für Neverwinter Nights angekündigt

  5. Montagewerk in Tilburg

    Wo Tesla seine E-Autos für Europa produziert

  6. AUV

    US-Marine sucht mit Robotern nach verschollenem U-Boot

  7. Apple Watch

    WatchOS-1-App-Updates gibt es bis zum April 2018

  8. ZDF mit 4K-UHD

    Bergretter und Bergdoktoren werden in HLG-HDR ausgestrahlt

  9. Star Wars Battlefront 2

    Macht und Mikrotransaktionen

  10. Tether

    Kryptowährungsstartup verliert 31 Millionen Dollar



Haben wir etwas übersehen?

E-Mail an news@golem.de


Anzeige
Fire TV (2017) im Test: Das Streaminggerät, das kaum einer braucht
Fire TV (2017) im Test
Das Streaminggerät, das kaum einer braucht
  1. Neuer Fire TV Amazons Streaming-Gerät bietet HDR für 80 Euro
  2. Streaming Update für Fire TV bringt Lupenfunktion
  3. Streaming Amazon will Fire TV und Echo Dot vereinen

Universal Paperclips: Mit ein paar Sexdezillionen Büroklammern die Welt erobern
Universal Paperclips
Mit ein paar Sexdezillionen Büroklammern die Welt erobern
  1. Disney Marvel Heroes wird geschlossen
  2. Starcraft 2 Blizzard lästert über Pay-to-Win in Star Wars Battlefront 2
  3. Free to Play World of Tanks bringt pro Nutzer und Monat 3,30 Dollar ein

Smartphoneversicherungen im Überblick: Teuer und meistens überflüssig
Smartphoneversicherungen im Überblick
Teuer und meistens überflüssig
  1. Winphone 5.0 Trekstor will es nochmal mit Windows 10 Mobile versuchen
  2. Librem 5 Das freie Linux-Smartphone ist finanziert
  3. Aquaris-V- und U2-Reihe BQ stellt neue Smartphones ab 180 Euro vor

  1. Leicht OT: Bekommt ihr auch auf Golem praktisch...

    attitudinized | 15:15

  2. Re: Nintendo macht es mit ZELDA auf der Switch...

    maximilian... | 15:14

  3. Re: Bitte eine Version ohne Schauspieler

    Dwalinn | 15:12

  4. Re: Witzig. Wieder ein E-Auto bericht von Leuten...

    Azzuro | 15:12

  5. Re: Danke golem für die Beantwortung teils...

    skeks | 15:10


  1. 14:14

  2. 12:57

  3. 12:42

  4. 12:23

  5. 11:59

  6. 11:50

  7. 11:34

  8. 11:20


  1. Themen
  2. A
  3. B
  4. C
  5. D
  6. E
  7. F
  8. G
  9. H
  10. I
  11. J
  12. K
  13. L
  14. M
  15. N
  16. O
  17. P
  18. Q
  19. R
  20. S
  21. T
  22. U
  23. V
  24. W
  25. X
  26. Y
  27. Z
  28. #
 
    •  / 
    Zum Artikel