Leslie Lamport
| Leslie Lamport | |
|---|---|
 Lamport marraskuussa 2004. |
|
| Henkilötiedot | |
| Koko nimi | Leslie B. Lamport |
| Syntynyt | 7. helmikuuta 1941 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 | |
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 on saanut useita palkintoja, tunnetuinpana Turing-palkinnon vuonna 2013. Hän kehitti uransa aikana tärkeitä algoritmeja ja kehitti muodollisia mallinnus- ja varmennusprotokollia, jotka parantavat hajautettujen järjestelmien laatua. Nämä panokset ovat parantaneet tietokonejärjestelmien suorituskykyä ja luotettavuutta. Lamport on myös uransa aikana ollut kehittämässä temporaalilogiikkaa.[3][4][5]
Tausta ja koulutus
[muokkaa | muokkaa wikitekstiä]Tausta
[muokkaa | muokkaa wikitekstiä]Leslie Lamport syntyi juutalaiseen perheeseen Brooklynissa, New Yorkissa, Benjamin Lamportin ja Hannah Lamportin (o.s. Lasser) pojaksi, vuonna 1941. Leslien isä oli alunperin siirtolainen Volkoviskisin kaupungista Venäjän keisarikunnasta (nykyisin Vawkavyskin kaupunki, Valko-Venäjällä). Leslien äiti oli puolestaan siirtolainen Itävalta-Unkarista, nykyisestä Kaakkois-Puolasta.[6]
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 lapsien synnyttyä kotiäitinä.[7]
Koulutus
[muokkaa | muokkaa wikitekstiä]Leslie on opiskellut kandidaatintutkinnon The Bronx High School of Sciencellessä, josta hän valmistui vuonna 1960. Tämän jälkeen Lamport opiskeli Brandeisin yliopistossa maisterin tutkinnon vuonna 1963 ja filosofian tohtoriksi vuonna 1972.[8][9] Lamportin väitöskirja, the analytic Cauchy problem with singular data, käsittelee analyyttisten osittaisdifferentiaaliyhtälöiden singulariteetteja.[10][11]
Ura
[muokkaa | muokkaa wikitekstiä]Lamport työskenteli Marlboro Collegessä osa-aikaistyöntekijänä vuosina 1965–1969. Tämän jälkeen 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.[8][12]
Lamport tunnetaan merkittävävistä töistä hajautettujen järjestelmien eteen. Hänen erilaiset hajautetut järjestelmät ovat saaneet maailmanlaajuista tunnustusta ja osa niistä on voittanut arvostettuja 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 kehitteli LaTeX-dokumenttien valmistelujärjestelmää aktiivisesti 1980-luvulla.[12][16] Lamport tunnetaan myös merkittävistä töistä temporaalilogiikan eteen. Logiikassa hän esitteli toiminnan ajallisen logiikan (TLA).[17]
Palkinnot ja kunnianosoitukset
[muokkaa | muokkaa wikitekstiä]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 tiedeakatemian jäseneksi.[20][21] Lamport sai vuonna 2019 NEC C&C -palkinnon.[8]
Kunniatohtorin arvot
[muokkaa | muokkaa wikitekstiä]Lamport on saanut viisi kunniatohtorin arvoa eurooppalaisista korkeakouluista: 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.[8]
Lähteet
[muokkaa | muokkaa wikitekstiä]- The Writings of Leslie Lamport lamport.azurewebsites.net. (englanniksi)
Viitteet
[muokkaa | muokkaa wikitekstiä]- ↑ 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. (englanti)
- ↑ Leslie Lamport - Home Author DO Series. Viitattu 3.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)
- ↑ a b c d The Writings of Leslie Lamport lamport.azurewebsites.net. Viitattu 2.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
[muokkaa | muokkaa wikitekstiä]
Kuvia tai muita tiedostoja aiheesta Leslie Lamport Wikimedia Commonsissa
| ||||||||||||||||||
