Lesli Lamport
Lesli Lamport (engl. Leslie Lamport; Njujork, 7. februar 1941) američki je matematičar, informatičar i programer, tvorac sistema za pripremu dokumenata poznatog pod imenom LaTeX.[1]
Lesli Lamport | |
---|---|
Lični podaci | |
Datum rođenja | 7. februar 1941. |
Mesto rođenja | Njujork, SAD |
Obrazovanje | Masačusetski tehnološki institut, Brandejski univerzitet |
Naučni rad | |
Polje | Računarstvo |
Institucija | Majkrosoft Didžital ekvipment korporejšon |
Poznat po | LaTeX |
Nagrade | Nagrada Edsgera Dajkstre (2000, 2005 i 2014) Tjuringova nagrada (2013) |
Zvanični veb-sajt | |
www |
Lamport je završio srednju školu u Bronksu (engl. Bronx High School of Science) da bi 1960. godine diplomirao matematiku na Masačusetskom Institutu za tehnologiju, a magistraturu i doktorat je odbranio na Univerzitetu Brendeis, 1963. i 1972. godine.[2] U svojoj doktorskoj disertaciji istraživao je singularitete analitičkih parcijalnih diferencijalnih jednačina.[3]
Dobio je Tjuringovu nagradu 2013. godine „za temeljne doprinose teoriji i praksi distribuiranih i konkurentnih sistema, konkretno za definisanje pojmova kao što su kauzalnost i logički satovi, bezbednost i životnost, mašine replikovanih stanja i sekvencijalnu konzistentnost”.[4] Osmislio je važne algoritme i razvio formalne protokole za modeliranje i verifikaciju koji poboljšavaju kvalitet realnih distribuiranih sistema. Ovi doprinosi su doveli do poboljšanja ispravnosti, performansi i pouzdanosti računarskih sistema.[5][6][7][8]
Reference uredi
- ^ Lamport, Lesli (1986). „LaTeX: sistem za pripremu dokumenata”. Adison-Vesli. ISBN 978-0-201-15790-1.
- ^ Lamport, Lesli (23. 4. 2007). „Moji radovi”.
- ^ Lamport, Lesli (1972). „The Analytic Cauchy Problem with Singular Data”.
- ^ „Leslie Lamport - A.M. Turing Award Laureate”. amturing.acm.org. Pristupljeno 3. 02. 2019.
- ^ „Leslie Lamport - ACM author profile page”. dl.acm.org (na jeziku: engleski). Pristupljeno 3. 02. 2019.
- ^ Lamport, Leslie. „Time, Clocks, and the Ordering of Events in a Distributed System”. Commun. ACM. 21 (7): 558—565. ISSN 0001-0782. doi:10.1145/359545.359563.
- ^ Savage, Neil. „General Agreement”. Commun. ACM. 57 (6): 22—23. ISSN 0001-0782. doi:10.1145/2601076.
- ^ Hoffmann, Leah. „Q&A: Divide and Conquer”. Commun. ACM. 57 (6): 112—ff. ISSN 0001-0782. doi:10.1145/2601077.