Leslie Lamport

Leslie Lamport
Leslie Lamport
Doğum	7 Şubat 1941 (84 yaşında); New York, ABD
Eğitim	Massachusetts Teknoloji Enstitüsü (lisans); Brandeis Üniversitesi (doktora)
Ödüller	IEEE John von Neumann Madalyası (2008); Turing Ödülü (2013)
Kariyeri
Dalı	Bilgisayar bilimi
Doktora; danışmanı	Richard Palais

Leslie B. Lamport (d. 7 Şubat 1941), Amerikalı bilgisayar bilimcisi. Dağıtık sistemler üzerindeki çalışmalarının yanı sıra LaTeX adlı belge hazırlama uygulamasının geliştiricisi olarak tanınmıştır.^[2] Lamport, birbirleriyle sistem iletileri yoluyla haberleşen otomatik makinelerin oluşturduğu karmaşık dağıtık sistemlere getirdiği çözümlerden ötürü 2013 Turing Ödülü'ne değer görülmüştür.^[3] Biçimsel modeller konulu araştırmalarıyla da bilinen Lamport'un geliştirdiği algoritmalar bilgisayar sistemlerinin doğruluk, başarım ve güvenilirliğini artırmıştır.^[4]

Kaynakça

^ Mathematics Genealogy Project'te Leslie Lamport
^ Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. 16 Ağustos 2007 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017.
^ Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM. 16 Ocak 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017.
^ Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. 21 (7). ss. 558-565. doi:10.1145/359545.359563. 31 Ekim 2008 tarihinde kaynağından arşivlendi (PDF)24 Kasım 2017.

Bir Amerikalının biyografisi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.

[mathgene-1] Mathematics Genealogy Project'te Leslie Lamport

[2] Lamport, Leslie (1986). LaTeX: A Document Preparation System. Addison-Wesley. ISBN 0-201-15790-X. 16 Ağustos 2007 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017.

[3] Lamport, Leslie (2013). "Leslie Lamport - A.M. Turing Award Winner". ACM. 16 Ocak 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 24 Kasım 2017.

[timeclocks-4] Lamport, L. (1978). "Time, clocks, and the ordering of events in a distributed system" (PDF). Communications of the ACM. 21 (7). ss. 558-565. doi:10.1145/359545.359563. 31 Ekim 2008 tarihinde kaynağından arşivlendi (PDF)24 Kasım 2017.

[1]

[2]

[3]

[4]

g t d Turing Ödülü sahipleri
1960'lar	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970'ler	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell / Herbert A. Simon (1975) Michael O. Rabin / Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980'ler	Tony Hoare (1980) Edgar F. Codd (1981) Stephen A. Cook (1982) Ken Thompson / Dennis Ritchie (1983) Niklaus Wirth (1984) Richard M. Karp (1985) John Hopcroft / Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990'lar	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis / Richard E. Stearns (1993) Edward Feigenbaum / Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000'ler	Andrew Yao (2000) Ole-Johan Dahl / Kristen Nygaard (2001) Ron Rivest / Adi Shamir / Leonard Adleman (2002) Alan Kay (2003) Vint Cerf / Bob Kahn (2004) Peter Naur (2005) Frances E. Allen (2006) Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
2010'lar	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser / Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman / Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy / David Patterson (2017) Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018) Ed Catmull / Pat Hanrahan (2019)
2020'ler	Alfred Aho / Jeffrey Ullman (2020) Jack Dongarra (2021) Robert Metcalfe (2022) Avi Wigderson (2023) Andrew Barto / Richard S. Sutton (2024)