ليسلي لامبورت
من أرابيكا، الموسوعة العربية الحرة
المزيد من اللغات
المزيد من الإجراءات
(بالتحويل من Leslie Lamport)
| ليسلي لامبورت | |
|---|---|
| معلومات شخصية | |
| تعديل مصدري - تعديل |
ليسلي لامبورت (بالإنجليزية: 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.
| في كومنز صور وملفات عن: ليسلي لامبورت |