Back ليسلي لامبورت Arabic ليسلى لامبورت ARZ لزلی لمپورت AZB Leslie Lamport Catalan Leslie Lamport Czech Leslie Lamport German Leslie Lamport English Leslie Lamport Esperanto Leslie Lamport Spanish Leslie Lamport Basque
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] |
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]
- ^ 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.