Leslie Lamport
Leslie Lamport | |
Date personale | |
---|---|
Născut | (83 de ani)[8] New York City, New York, SUA |
Cetățenie | Statele Unite ale Americii |
Ocupație | matematician informatician programator inginer scriitor |
Limbi vorbite | limba engleză[9] |
Activitate | |
Alma mater | Massachusetts Institute of Technology Universitatea Brandeis[*] The Bronx High School of Science[*] |
Organizație | MITRE Corporation[*] Digital Equipment Corporation SRI International Microsoft Research[*] |
Premii | Dijkstra Prize[*] () IEEE John von Neumann Medal[*] ()[1] Premiul Turing ()[2][3] IEEE Emanuel R. Piore Award[*] ()[4] doctorat honoris causa de l'université Rennes-I[*] ()[5] docteur honoris causa de l'École polytechnique fédérale de Lausanne[*] ACM Fellow[*] ()[6][7] Dijkstra Prize[*] () Dijkstra Prize[*] () Ehrendoktor der Christian-Albrechts-Universität zu Kiel[*] () docteur honoris causa de l'École polytechnique fédérale de Lausanne[*] () doctor honoris causa ( și ) |
Prezență online | |
Modifică date / text |
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.
Note
[modificare | modificare sursă]- ^ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos Lipsește sau este vid:
|title=
(ajutor) - ^ Leslie Lamport (în engleză), Association for Computing Machinery, accesat în
- ^ Leslie Lamport - A.M. Turing Award Laureate (în engleză), Association for Computing Machinery, accesat în
- ^ (PDF) https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/awards/piore_rl.pdf Lipsește sau este vid:
|title=
(ajutor) - ^ https://www.univ-rennes.fr/le-doctorat-honoris-causa-luniversite-de-rennes Lipsește sau este vid:
|title=
(ajutor) - ^ Leslie Lamport (în engleză), Association for Computing Machinery, accesat în
- ^ https://www.acm.org/media-center/2015/january/fellows-2014, accesat în Lipsește sau este vid:
|title=
(ajutor) - ^ Leslie Lamport, Encyclopædia Britannica Online, accesat în
- ^ CONOR.SI[*] Verificați valoarea
|titlelink=
(ajutor)
Vezi și
[modificare | modificare sursă]Legături externe
[modificare | modificare sursă]
|
- Nașteri în 1941
- Oameni de știință americani din secolul al XX-lea
- Absolvenți ai Brandeis University
- Absolvenți ai Massachusetts Institute of Technology
- Membri ai Academiei Naționale de Științe a Statelor Unite
- Informaticieni americani
- Matematicieni americani din secolul al XX-lea
- Angajați Microsoft
- Laureați ai Premiului Turing
- Matematicieni americani din secolul al XXI-lea
- Oameni în viață