ليسلي لامبورت
ليسلي لامبورت (بالإنجليزية: Leslie Lamport)، من مواليد 17 فبراير 1941، في مدينة نيويورك، عالم حاسوب أمريكي، له إنجازات في نظم التشغيل، وفي تزامن الوقت بين الحواسيب تحديداً، كما أنه أثبت فرص حل مسألة الجنرال البيزنطي.[8][9][10]
جوائزه
عدل- ميدالية جون فون نيومان 2004.
- جائزة دايكجسترا
- جائزة تورنغ 2013
مراجع
عدل- ^ Encyclopædia Britannica | Leslie Lamport (بالإنجليزية), QID:Q5375741
- ^ ا ب https://www.acm.org/media-center/2015/january/fellows-2014. اطلع عليه بتاريخ 2024-06-24.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ "Computing Expert Says Programmers Need More Math | Quanta Magazine" (بالإنجليزية). Retrieved 2022-06-07.
- ^ "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
- ^ "Leslie Lamport - A.M. Turing Award Laureate" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
- ^ "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
- ^ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos.
{{استشهاد ويب}}:|url=بحاجة لعنوان (مساعدة) والوسيط|title=غير موجود أو فارغ (من ويكي بيانات) (مساعدة) - ^ 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.
في كومنز مواد ذات صلة بـ ليسلي لامبورت.