Leslie Lamport
Van Wikipedia
Dr. Leslie Lamport is een Amerikaanse computerwetenschapper.
Lamport ontving een B.S. aan de Massachusetts Institute of Technology voor wiskunde in 1960. Hij verdiende ook een M.A. en een Ph.D. in 1963 en 1972, beide voor wiskunde.
Als computerwetenschapper is Dr. Lamport onder andere bekend om zijn werk aan de Temporal Logic of Actions of TLA wat resulteerde in het algoritme van Lamport, een algoritme dat de relatie beschrijft tussen gebeurtenissen in een gedistribueerd systeem met behulp van een logische klok.
Buiten zijn werk aan dit algoritme is Dr. Lamport het best bekend als initieel ontwerper van LaTeX.
Momenteel werkt hij voor Microsoft.
[bewerk] Externe links
Bronnen en referenties: |
Artikel over Leslie Lamport (Wikipedia) op de Engelstalige Wikipedia. |