Leslie Lamport, dağıtık bilgisayar sistemleri üzerine çalışmaları ve LaTeX belge hazırlama sistemini geliştirmesiyle tanınan Amerikalı bilgisayar bilimcisidir. Massachusetts Teknoloji Enstitüsünde 1960'ta matematik lisansını tamamladı; Brandeis Üniversitesinden 1963'te yüksek lisans ve 1972'de doktora derecelerini aldı. Massachusetts Computer Associates, SRI International ve Digital Equipment Corporation gibi kuruluşlarda çalıştı; 2001'de Microsoft Research'e katıldı. Dağıtık ve eşzamanlı sistemlere katkıları nedeniyle 2013 Turing Ödülü'ne değer görüldü. [1][2]
MANTIKSAL SAATLER
Lamport'un 1978 tarihli Time, Clocks and the Ordering of Events in a Distributed System makalesi, ileti alışverişi yapan bilgisayarlardaki olayların sıralanmasını ele alır. Fiziksel saatlerin tam eşleşmesine dayanmak yerine, olaylar arasındaki nedensellik ilişkisi ve mantıksal zaman damgaları kullanılır. Bu yaklaşım, bir işlemciler ağının ortak bir durum makinesini gerçekleştirmesiyle ilişkilendirilmiştir. Lamport, aynı çalışmada mantıksal saatlerin eşgüdümünü ve dağıtık karşılıklı dışlama problemini de inceledi. Bu kavramlar, bağımsız çalışan bilgisayarların birlikte tutarlı davranmasının matematiksel olarak açıklanmasına yardımcı olur. [2]