Leslie Lamport

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. 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. == Tausta ja koulutus == === Tausta === 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. 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ä. === Koulutus === 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. Lamportin väitöskirja, the analytic Cauchy problem with singular data, käsittelee analyyttisten osittaisdifferentiaaliyhtälöiden singulariteetteja. == Ura == 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. 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. Lamport on kehitellyt vuonna 1979 Lamportin allekirjoituksen. 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. Lamport tunnetaan myös merkittävistä töistä temporaalilogiikan eteen. Logiikassa hän esitteli toiminnan ajallisen logiikan (TLA). == Palkinnot ja kunnianosoitukset == Lamport sai vuoden 2013 Turing Award -palkinnon. Hänet valittiin National Academy of Engineeringin jäseneksi vuonna 1991 ja Association for Computing Machineryn jäseneksi vuonna 2014. Vuonna 2008 Lamport sai John von Neumann -mitalin ja vuonna 2011 hänet valittiin Yhdysvaltain kansalliseen tiedeakatemian jäseneksi. Lamport sai vuonna 2019 NEC C&C; -palkinnon. === Kunniatohtorin arvot === 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. == Lähteet == * === Viitteet === == Aiheesta muualla == Luokka:Yhdysvaltalaiset tietojenkäsittelytieteilijät Luokka:Yhdysvaltalaiset matemaatikot Luokka:Turing-palkinnon saajat Luokka:Vuonna 1941 syntyneet Luokka:Elävät henkilöt