Leslie Lamport

| alma mater = *The Bronx High School of Science *Massachusetts Institute of Technology *Brandeisin yliopisto | kansalaisuus = Yhdysvallat | tutkimusalue = Tietojenkäsittelytiede | koko nimi = Leslie B. Lamport | palkinnot = Turing-palkinto (2013) | ohjaaja = Richard Palais | tunnetut työt = *LaTeX- dokumentit *Lamportin allekirjoitus }} 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. Wikipedian tuottama