Ugrás a tartalomhoz

Leslie Lamport

Ellenőrzött
A Wikipédiából, a szabad enciklopédiából
Leslie Lamport
Életrajzi adatok
Született1941február 7. (83 éves)
 USA, New York
Ismeretes minta LaTeΧ szövegformázó rendszer kifejlesztője
Nemzetiségamerikai
Iskolái
Pályafutása
Szakterületosztott 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 (2015. január 8., 2014)
  • Dijkstra Prize (2005)
  • Dijkstra Prize (2014)
  • honorary doctor at Christian-Albrechts-Universität zu Kiel (2003)
  • a Lausanne-i Szövetségi Műszaki Egyetem díszdoktora (2004)
  • díszdoktor (Henri Poincaré University, Università della Svizzera italiana, 2007, 2006)
Leslie Lamport weboldala
A Wikimédia Commons tartalmaz Leslie Lamport témájú médiaállományokat.

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

Életpályája

[szerkesztés]

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

[szerkesztés]

Fordítás

[szerkeszté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.