ليسلي لامبورت
ليسلي لامبورت (بالإنجليزية: Leslie Lamport)، من مواليد 17 فبراير 1941 ، في مدينة نيويورك، عالم حاسوب أمريكي، له إنجازات في نظم التشغيل، وفي تزامن الوقت بين الحواسيب تحديداً، كما أنه أثبت فرص حل مسألة الجنرال البيزنطي.[1][2][3]
ليسلي لامبورت | |
---|---|
معلومات شخصية | |
تعديل مصدري - تعديل |
جوائزه
- ميدالية جون فون نيومان 2004.
- جائزة دايكجسترا
- جائزة تورنغ 2013
مراجع
- ^ Lamport، Leslie (مايو 1994). "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems. ج. 16 ع. 3: 872–923. DOI:10.1145/177492.177726. مؤرشف من الأصل في 2012-11-05. اطلع عليه بتاريخ 2007-02-02.
- ^ Leslie Lamport ACM Fellows 2014 نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
- ^ Hoffmann، L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM. ج. 57 ع. 6: 112–ff. DOI:10.1145/2601077.
في كومنز صور وملفات عن: ليسلي لامبورت |