Leslie Lamport

Leslie Lamport

Irudi gehiago
Bizitza
JaiotzaNew York, 1941eko otsailaren 7a (83 urte)
Herrialdea Ameriketako Estatu Batuak
Lehen hizkuntzaingelesa
Hezkuntza
HeziketaMassachusetts Institute of Technology Zientziatan graduatua : matematika
Brandeis University (en) Itzuli Doktoretza, Zientzietako Masterra : matematika
The Bronx High School of Science (en) Itzuli
Hezkuntza-mailaZientzietako Masterra
Doktoretza
Tesi zuzendariaRichard Palais (en) Itzuli
Hizkuntzakingelesa
Jarduerak
Jarduerakmatematikaria, informatikaria, programatzailea, ingeniaria eta idazlea
Enplegatzailea(k)MITRE Corporation (en) Itzuli  (1962 -  1965)
SRI International  (1977 -  1985)
Digital Equipment Corporation (en) Itzuli  (1985 -  2001)
Microsoft Research (en) Itzuli  (2001 -
Lan nabarmenak
ikusi
  • konputazio banatu
    LaTeX
    TLA+ (en) Itzuli
    temporal logic of actions (en) Itzuli
    Paxos (en) Itzuli
Jasotako sariak
ikusi
  • Dijkstra Prize  (2000)
    IEEE John von Neumann Medal  (2008)
    Turing Award  (2013)
    IEEE Emanuel R. Piore Award  (2004)
    honorary doctor of the University of Rennes I  (2003)
    honorary doctor of the École polytechnique fédérale de Lausanne
    ACM Fellow  (2014)
    Dijkstra Prize  (2005)
    Dijkstra Prize  (2014)
    honorary doctor at Christian-Albrechts-Universität zu Kiel  (2003)
    ohorezko doktore  (2006)
    ohorezko doktore  (2007)
    honorary doctor of the École polytechnique fédérale de Lausanne  (2004)
KidetzaAmeriketako Estatu Batuetako Zientzien Akademia Nazionala
Arteen eta Zientzien Ameriketako Estatu Batuetako Akademia
lamport.org

Leslie B. Lamport (Brooklyn, New York, 1941eko otsailaren 7a) informatikari eta matematikari estatubatuarra da. Lamport konputazio banatuan eginiko lanagatik, eta LaTeX dokumentuak prestatzeko sistemaren hasierako garatzaile eta lehen eskuliburuaren egile izateagatik da ezaguna.

LaTeX

Donald Knuth 1980aren hasieran TeX-en lehen zatiak argitaratzen hasi zenean, Lamport —liburu bat idazteko behar pertsonala zela eta— hartan oinarritutako makro batzuetan hasi zen lanean. Makro-multzo hau LaTeX izenez ezagutzen da gaur egun. 1983an Peter Gordon, Addison-Wesleyren argitaletxe amerikarreko editoreak, Lamporti bere erabiltzaile-eskuliburua liburu bihurtzea proposatu zion.[1][2]

1984ko irailean, LaTeX makroen 2.06a bertsioa kaleratu zuen Lamportek, eta 1985eko abuztuan, LaTeX 2.09 —Lamporten LaTeX-en azken bertsioa—. Bitartean, Addison-Wesley argitaletxeak Lamport-en LaTeX erabiltzaile-eskuliburua argitaratu zuen, LaTeX: A Document Preparation System (LaTeX: Dokumentuak prestatzeko sistema), 1986an, ustez "ehunka mila kopia baino gehiago" saldu zirenak. 1989ko abuztuaren 21ean, Stanford-en TeX Erabiltzaile Taldearen bilera batean, Lamport-ek LaTeX-en mantentze eta garapena Frank Mittelbach, Chris Rowley eta Reiner Schöpf-en esku utzi zuen, ondoren LaTeX3 eta LaTeX 2e bertsionak argitaratuko zituztelarik.[2][3]

Erreferentziak

  1. Lamport, Leslie. How (LA)TEX changed the face of Mathematics. .
  2. a b «The Writings of Leslie Lamport» lamport.azurewebsites.net. Aipuaren errorea: Invalid <ref> tag; name ":1" defined multiple times with different content
  3. TeX, LaTeX, and AMS-LaTeX. 1998-12-03.

Kanpo estekak

Autoritate kontrola
  • Wikimedia proiektuak
  • Wd Datuak: Q92613
  • Commonscat Multimedia: Leslie Lamport / Q92613

  • Wd Datuak: Q92613
  • Commonscat Multimedia: Leslie Lamport / Q92613