# Leslie Lamport

Leslie Lamport (New York, 7 februari 1941) is een Amerikaanse computerwetenschapper. Hij is bekend vanwege zijn werk op het gebied van de gedistribueerde systemen en tijdslogica. Bovendien was hij de oorspronkelijke ontwerper van het TeX-macropakket LaTeX.

## Levensloop

Lamport werd geboren in New York en behaalde in 1960 zijn Bachelor-diploma op het Massachusetts Institute of Technology. Daarna haalde hij in 1963 een Masters-diploma in de wiskunde en vervolgens in 1972 een PhD-diploma op de Brandeis-universiteit, ook in de wiskunde. Hij werkte als computerwetenschapper bij verschillende bedrijven, waaronder SRI International (1977–1985) en Digital Equipment Corporation/Compaq (1985–2001). Sinds 2001 werkt hij voor Microsoft Research.

## Wetenschappelijke prestaties

Lamport heeft veel onderzoek gedaan op het gebied van gedistribueerde systemen. Zo ontwikkelde hij onder andere de temporal logic of actions, een logica waarmee het gedrag van systemen kan worden beschreven, de Lamport-klok, een logische klok die de happens-before-relatie in gedistribueerde systemen formaliseert (zie: Algoritme van Lamport), het bakkerij-algoritme voor wederzijdse uitsluiting en het snapshot-algoritme, waarmee een consistente, globale toestand van een asynchroon gedistribueerd systeem bepaald kan worden.
In 2013 won Lamport de Turing Award voor zijn werk in gedistribueerde systemen.

## LaTeX

Bij het grotere publiek is Lamport vooral bekend omdat hij in 1984 de oorspronkelijke ontwikkelaar van LaTeX was, een macropakket voor het zetsysteem TeX. Tegenwoordig wordt LaTeX in de wiskunde en informatica zeer veel gebruikt voor het schrijven van wetenschappelijke artikelen.

## Externe link

* Website van Dr. Leslie Lamport
* Dit artikel of een eerdere versie ervan is een (gedeeltelijke) vertaling van het artikel Leslie Lamport op de Engelstalige Wikipedia, dat onder de licentie Creative Commons Naamsvermelding/Gelijk delen valt. Zie de bewerkingsgeschiedenis aldaar.
1966: Alan J. Perlis · 1967: Maurice V. Wilkes · 1968: Richard Hamming · 1969: Marvin Minsky · 1970: J.H. Wilkinson · 1971: John McCarthy · 1972: Edsger Dijkstra · 1973: Charles W. Bachman · 1974: Donald E. Knuth · 1975: Allen Newell, Herbert Simon · 1976: Michael Rabin, Dana S. Scott · 1977: John Backus · 1978: Robert W. Floyd · 1979: Kenneth E. Iverson · 1980: Tony Hoare · 1981: Edgar F. (Ted) Codd · 1982: Stephen A. Cook · 1983: Ken Thompson, Dennis M. Ritchie · 1984: Niklaus Wirth · 1985: Richard M. Karp · 1986: John Hopcroft, Robert Tarjan · 1987: John Cocke · 1988: Ivan Sutherland · 1989: William Kahan · 1990: Fernando J. Corbató · 1991: Robin Milner · 1992: Butler Lampson · 1993: Juris Hartmanis, Richard E. Stearns · 1994: Edward Feigenbaum, Raj Reddy · 1995: Manuel Blum · 1996: Amir Pnueli · 1997: Douglas Engelbart · 1998: Jim Gray · 1999: Frederick P. Brooks, Jr. · 2000: Andrew Chi-Chih Yao · 2001: Ole-Johan Dahl, Kristen Nygaard · 2002: Ron Rivest, Adi Shamir, Leonard M. Adleman · 2003: Alan Kay · 2004: Vinton G. Cerf, Robert E. Kahn · 2005: Peter Naur · 2006: Frances E. Allen · 2007: Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis · 2008: Barbara Liskov · 2009: Charles Thacker · 2010: Leslie Valiant · 2011: Judea Pearl · 2012: Shafi Goldwasser, Silvio Micali · 2013: Leslie Lamport · 2014: Michael Stonebraker · 2015: Martin Hellman, Whitfield Diffie · 2016: Tim Berners-Lee · 2017: John L. Hennessy, David Patterson · 2018: Yoshua Bengio, Geoffrey Hinton, Yann LeCun · 2019: Patrick M. Hanrahan, Edwin E. Catmull · 2020: Alfred Aho, Jeffrey Ullman · 2021: Jack Dongarra · 2022: Robert Metcalfe · 2023: Avi Wigderson