Leslie Lamport

Leslie Lamport (New York, 1941. február 7. –) amerikai informatikus, a LaTeΧ szövegformázó rendszer megalkotója.

Leslie Lamport
Életrajzi adatok
Született	1941. február 7. (83 éves) USA, New York
Ismeretes mint	a LaTeΧ szövegformázó rendszer kifejlesztője
Nemzetiség	amerikai
Iskolái	Massachusetts Institute of Technology Brandeis Egyetem The Bronx High School of Science
Pályafutása
Szakterület	osztott rendszerek, logika
Tudományos fokozat	MSc (1963, matematika) PhD (1972, matematika)
Szakmai kitüntetések
Dijkstra Prize (2000) Az IEEE Neumann János-díja (2008) Turing-díj (2013) IEEE Emanuel R. Piore Award (2004) honorary doctor of the University of Rennes I (2003) a Lausanne-i Szövetségi Műszaki Egyetem díszdoktora ACM Fellow (2014) Dijkstra Prize (2005) Dijkstra Prize (2014) honorary doctor at Christian-Albrechts-Universität zu Kiel (2003) díszdoktor (Università della Svizzera italiana, 2006) díszdoktor (Henri Poincaré University, 2007) a Lausanne-i Szövetségi Műszaki Egyetem díszdoktora (2004)
Leslie Lamport weboldala
A Wikimédia Commons tartalmaz Leslie Lamport témájú médiaállományokat.

Életpályája

A Bronx High School of Science középiskolában tanult. 1960-ban matematika szakon végzett a Massachusetts Institute of Technology-n. A Brandeis University-n szerzett mesteri (1963), majd doktori (1972) fokozatot.

1970 és 1977 között a Massachusetts Computer Associates informatikusa, 1977 és 1985 között az SRI International, 1985 és 2001 között a Digital Equipment Corporation és a Compaq munkatársa. 2001-től a Microsoft Research alkalmazottja.

Osztott rendszerekkel és logikával foglalkozott, de legismertebb alkotása a Donald Knuth által tervezett TeΧ tudományos szövegszerkesztőre alapozott LaTeΧ szövegformázó, kiadványszerkesztő (itt a névben a La Lamportra utal).

Díjak, kitüntetések

• Dijkstra-díj, 2005
• Az IEEE Neumann János-díja, 2008
• Az Amerikai Tudományos Akadémia díja, 2011
• Turing-díj, 2013

Fordítás

• Ez a szócikk részben vagy egészben a Leslie Lamport című angol Wikipédia-szócikk ezen változatának fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.