![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/5/50/Leslie_Lamport.jpg/640px-Leslie_Lamport.jpg&w=640&q=50)
Leslie Lamport
yhdysvaltalainen tietojenkäsittelytieteilijä ja matemaatikko / From Wikipedia, the free encyclopedia
Leslie B. Lamport (s. 7. helmikuuta 1941 New York, Yhdysvallat) on yhdysvaltalainen tietojenkäsittelytieteilijä ja matemaatikko. Lamport tunnetaan parhaiten hajautettujen järjestelmien uraauurtavasta työstään sekä LaTeX- dokumenttien valmistelujärjestelmän ensimmäisenä kehittäjänä ja sen ensimmäisen käsikirjan kirjoittajana.[2]
Pikafaktoja Henkilötiedot, Koulutus ja ura ...
Leslie Lamport | |
---|---|
![]() Lamport marraskuuta 2004. |
|
Henkilötiedot | |
Koko nimi | Leslie B. Lamport |
Syntynyt | 7. helmikuuta 1941 (ikä 83) New York, Yhdysvallat |
Kansalaisuus | Yhdysvallat |
Ammatti | Tietojenkäsittelytieteilijä ja matemaatikko |
Koulutus ja ura | |
Tutkinnot |
The Bronx High School of Science Massachusetts Institute of Technology Brandeisin yliopisto |
Väitöstyön ohjaaja | Richard Palais [1] |
Tutkimusalue | Tietojenkäsittelytiede |
Tunnetut työt |
LaTeX- dokumentit Lamportin allekirjoitus |
Palkinnot | Turing-palkinto (2013) |
Aiheesta muualla | |
Kotisivu | |
Infobox OK |
Sulje
Lamport voitti vuoden 2013 Turing-palkinnon. Hän kehitti tärkeitä algoritmeja ja kehitti muodollisia mallinnus- ja varmennusprotokollia, jotka parantavat todellisten hajautettujen järjestelmien laatua. Nämä panokset ovat parantaneet tietokonejärjestelmien oikeellisuutta, suorituskykyä ja luotettavuutta.[3][4][5][6]