[go: up one dir, main page]
More Web Proxy on the site http://driver.im/Sari la conținut

Leslie Lamport

De la Wikipedia, enciclopedia liberă
Leslie Lamport
Date personale
Născut (83 de ani)[8] Modificați la Wikidata
New York City, New York, SUA Modificați la Wikidata
Cetățenie Statele Unite ale Americii Modificați la Wikidata
Ocupațiematematician
informatician
programator
inginer
scriitor Modificați la Wikidata
Limbi vorbitelimba engleză[9] Modificați la Wikidata
Activitate
Alma materMassachusetts Institute of Technology
Universitatea Brandeis[*]
The Bronx High School of Science[*][[The Bronx High School of Science (specialized high school in New York City)|​]]  Modificați la Wikidata
OrganizațieMITRE Corporation[*][[MITRE Corporation (company)|​]]
Digital Equipment Corporation
SRI International
Microsoft Research[*][[Microsoft Research (research division of Microsoft Corporation)|​]]  Modificați la Wikidata
PremiiDijkstra Prize[*][[Dijkstra Prize (award)|​]] ()
IEEE John von Neumann Medal[*][[IEEE John von Neumann Medal (award)|​]] ()[1]
Premiul Turing ()[2][3]
IEEE Emanuel R. Piore Award[*] ()[4]
doctorat honoris causa de l'université Rennes-I[*][[doctorat honoris causa de l'université Rennes-I |​]] ()[5]
docteur honoris causa de l'École polytechnique fédérale de Lausanne[*][[docteur honoris causa de l'École polytechnique fédérale de Lausanne |​]]
ACM Fellow[*][[ACM Fellow (award granted by the Association for Computing Machinery (ACM))|​]] ()[6][7]
Dijkstra Prize[*][[Dijkstra Prize (award)|​]] ()
Dijkstra Prize[*][[Dijkstra Prize (award)|​]] ()
Ehrendoktor der Christian-Albrechts-Universität zu Kiel[*][[Ehrendoktor der Christian-Albrechts-Universität zu Kiel |​]] ()
docteur honoris causa de l'École polytechnique fédérale de Lausanne[*][[docteur honoris causa de l'École polytechnique fédérale de Lausanne |​]] ()
doctor honoris causa ( și )  Modificați la Wikidata
Prezență online

Leslie Lamport (n. , New York City, New York, SUA) este un informatician american, matematician și programator renumit.

A lucrat ca informatician la Massachusetts Computer Associates, SRI International, Digital Equipment Corporation, și Compaq. În 2001 s-a alăturat echipei de informaticieni de la Microsoft Research din Mountain View în California.

Ca cercetător, Lamport a contribuit la dezvoltarea teoriei sistemelor distribuite. Lucrările sale cele mai reprezentative în acest domeniu sunt:

  • "Time, Clocks, and the Ordering of Events in a Distributed System"
  • "Distributed snapshots: determining global states of distributed systems"
  • "The Byzantine Generals Problem"
  • "The Part-time Parliament"

Dr. Lamport a primit 4 distincții Doctor honoris causa de la universitățile europene: Universitatea din Rennes și Universitatea din Kiel în 2003, EPFL în 2004, Universitatea din Lugano în 2006. În 2004 a primit Premiul IEEE Piore pentru contribuțiile sale aduse doemniului procesării informațiilor, în relație cu informatica.

Leslie Lamport a devenit faimos și este cunoscut și datorită faptului că este dezvoltatorul inițial al al sistemului de preparare a documentului LaTeX.

  1. ^ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos  Lipsește sau este vid: |title= (ajutor)
  2. ^ Leslie Lamport (în engleză), Association for Computing Machinery, accesat în  
  3. ^ Leslie Lamport - A.M. Turing Award Laureate (în engleză), Association for Computing Machinery, accesat în  
  4. ^ (PDF) https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/awards/piore_rl.pdf  Lipsește sau este vid: |title= (ajutor)
  5. ^ https://www.univ-rennes.fr/le-doctorat-honoris-causa-luniversite-de-rennes  Lipsește sau este vid: |title= (ajutor)
  6. ^ Leslie Lamport (în engleză), Association for Computing Machinery, accesat în  
  7. ^ https://www.acm.org/media-center/2015/january/fellows-2014, accesat în   Lipsește sau este vid: |title= (ajutor)
  8. ^ Leslie Lamport, Encyclopædia Britannica Online, accesat în  
  9. ^ CONOR.SI[*]  Verificați valoarea |titlelink= (ajutor)

Legături externe

[modificare | modificare sursă]