Leslie Lamport
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 |
|
Väitöstyön ohjaaja | Richard Palais [1] |
Tutkimusalue | Tietojenkäsittelytiede |
Tunnetut työt |
|
Palkinnot | Turing-palkinto (2013) |
Aiheesta muualla | |
Kotisivu | |
[ Muokkaa Wikidatassa ] ![]() | |
Infobox OK |
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]
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]
Tausta ja koulutus
Lamport syntyi juutalaiseen perheeseen Brooklynissa, New Yorkissa, Benjamin ja Hannah Lamportin (os. Lasser) pojaksi, vuonna 1941. Hänen isänsä oli alunperin siirtolainen Volkoviskisin kaupungista Venäjän keisarikunnasta (nykyisin Vawkavyskin kaupunki, Valko-Venäjällä). Lamportin äiti oli puolestaan siirtolainen Itävalta-Unkarista, nykyisestä Kaakkois-Puolasta.[7]
Kun Lamport isä tuli Yhdysvaltoihin hän suunnitteli alun perin ryhtyvänsä lääkäriksi, mutta päätyi sen sijaan työskentelemään kuivapesuyrityksessä. Lamportin äiti työskenteli aiemmin ompelijana, mutta toimi myöhemmin kotiäitinä.[8]
Lamport on opiskellut kandidaatintutkinnon The Bronx High School of Sciencellessä, josta hän valmistui vuonna 1960. Hän on opiskellut Brandeisin yliopistossa maisterin tutkinnon vuonna 1963 ja filosofian tohtoriksi vuonna 1972.[4][9] Lamportin väitöskirja, the analytic Cauchy problem with singular data, käsittelee analyyttisten osittaisdifferentiaaliyhtälöiden singulariteetteja.[10][11]
Ura
Lamport työskenteli Marlboro Collegessä osa-aikais työntekijä vuosina 1965–1969. Lamport työskenteli tietojenkäsittelytieteilijänä Massachusetts Computer Associatesissa vuosina 1970–1977, Stanford Research Institutessa vuosina 1977–1985 ja Digital Equipment Corporationissa ja Compaqissa vuosina 1985–2001. Vuonna 2001 hän liittyi Microsoft Researchiin, Mountain View'ssa Kaliforniassa.[4][12]
Lamport tunnetaan merkittävävistä töistä hajautettujen järjestelmien puolesta. Hänen erillaiset hajautetut järjestelmät ovat saaneet maailmanlaajuista tunnustusta ja osa niistä on voittanut palkintoja.[13][14] Lamport on kehitellyt vuonna 1979 Lamportin allekirjoituksen.[15]
Lamport on LaTeX- dokumenttien valmistelujärjestelmän kehittäjä ja sen ensimmäisen käsikirjan kirjoittaja. Hän on kehitellyt LaTeX- dokumenttien valmistelujärjestelmää aktiivisesti 1980-luvulla.[12][16] Lamport tunnetaan myös merkittävistä töistä temporaalilogiikkan eteen. Logiikassa hän esitteli toiminnan ajallisen logiikan (TLA).[17]
Palkinnot ja kunnianosoitukset
Lamport sai vuoden 2013 Turing Award -palkinnon.[18][2] Hänet valittiin National Academy of Engineeringin jäseneksi vuonna 1991 ja Association for Computing Machineryn jäseneksi vuonna 2014.[19] Vuonna 2008 Lamport sai John von Neumann -mitalin ja vuonna 2011 hänet valittiin Yhdysvaltain kansalliseen tiedeakatemiaan.[20][21] Lamport sai vuonna 2019 NEC C&C -palkinnon.[4]
Kunniantohtorin arvot
Lamport on saanut viisi kunniatohtorin arvoa eurooppalaisista yliopistoista: Rennesin yliopistosta ja Christian Albrechtsin yliopistosta vuonna 2003, École Polytechnique Fédérale de Lausannestä vuonna 2004, Università della Svizzera italiananasta vuonna 2006 ja Nancyn yliopistosta vuonna 2007.[4]
Lähteet
- The Writings of Leslie Lamport lamport.azurewebsites.net. (englanniksi)
Viitteet
- ↑ Leslie Lamport - The Mathematics Genealogy Project mathgenealogy.org. Viitattu 3.7.2024. (englanniksi)
- ↑ a b Leslie Lamport at Microsoft Research Microsoft Research. Viitattu 2.7.2024. (englanniksi)
- ↑ Leslie Lamport - Home Author DO Series. Viitattu 3.7.2024. (englanniksi)
- ↑ a b c d e The Writings of Leslie Lamport lamport.azurewebsites.net. Viitattu 2.7.2024. (englanniksi)
- ↑ Neil Savage: General agreement. Commun. ACM, 1.6.2014, 57. vsk, nro 6, s. 22–23. doi:10.1145/2601076. ISSN 0001-0782. Artikkelin verkkoversio. Viitattu 3.7.2024. (englanniksi)
- ↑ Leah Hoffmann: Q&A: Divide and conquer. Commun. ACM, 1.6.2014, 57. vsk, nro 6, s. 112–ff. doi:10.1145/2601077. ISSN 0001-0782. Artikkelin verkkoversio. Viitattu 3.7.2024. (englanniksi)
- ↑ Leslie Lamport –the man who invented LaTeX medium.com. 29.10 2023. Viitattu 2.7.2024. (englanniksi)
- ↑ The Stuff of Genius Brandeis Magazine. Viitattu 3.7.2024. (englanniksi)
- ↑ Leslie Lamport | Turing Award, Biography, & Facts | Britannica www.britannica.com. 9.5.2024. Viitattu 2.7.2024. (englanniksi)
- ↑ The Writings of Leslie Lamport lamport.azurewebsites.net. Viitattu 2.7.2024. (englanniksi)
- ↑ The Writings of Leslie Lamport lamport.azurewebsites.net. Viitattu 3.7.2024. (englanniksi)
- ↑ a b Leslie Lamport www.doradolist.com. Viitattu 2.7.2024. (englanniksi)
- ↑ The Writings of Leslie Lamport lamport.azurewebsites.net. Viitattu 2.7.2024. (englanniksi)
- ↑ Distributed Systems (PDF) cl.cam.ac.uk. Viitattu 2.7.2024. (englanniksi)
- ↑ Leslie Lamport: Constructing Digital Signatures from a One Way Function. Microsoft, 18.10.1979. Artikkelin verkkoversio. (englanniksi)
- ↑ The Writings of Leslie Lamport lamport.azurewebsites.net. Viitattu 3.7.2024. (englanniksi)
- ↑ The Writings of Leslie Lamport lamport.azurewebsites.net. Viitattu 2.7.2024. (englanniksi)
- ↑ Leslie Lamport - A.M. Turing Award Laureate amturing.acm.org. Viitattu 3.7.2024. (englanniksi)
- ↑ Leslie Lamport awards.acm.org. Viitattu 3.7.2024. (englanniksi)
- ↑ National Academy of Sciences: About the NAS: News National Academy of Sciences. 7.5.2011. Arkistoitu . Viitattu 3.7.2024. (englanniksi)
- ↑ Leslie B. Lamport '57 bxscience.edu. Viitattu 3.7.2024. (englanniksi)
Aiheesta muualla
Kuvia tai muita tiedostoja aiheesta Leslie Lamport Wikimedia Commonsissa
![Käännös suomeksi](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2a/Translation_Latin_Alphabet.svg/60px-Translation_Latin_Alphabet.svg.png)
Alkuperäinen artikkeli: en:Leslie Lamport
|
|