Leslie Lamport
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]
Leslie Lamport | |
---|---|
Doğum |
7 Şubat 1941 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] |
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 (PDF) arşivlendi. Erişim tarihi: 24 Kasım 2017.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.