Leslie Lamport
Leslie Lamport | |
---|---|
![]() | |
Doğum | 7 Şubat 1941 (83 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[1] |
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). Erişim tarihi: 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. |