انتقل إلى المحتوى

ليسلي لامبورت

من ويكيبيديا، الموسوعة الحرة
ليسلي لامبورت
(بالإنجليزية: Leslie Lamport)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
 
معلومات شخصية
الميلاد 7 فبراير 1941 (83 سنة)[1]  تعديل قيمة خاصية (P569) في ويكي بيانات
نيويورك  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في الأكاديمية الوطنية للعلوم،  والأكاديمية الأمريكية للفنون والعلوم،  وجمعية آلات الحوسبة[2]  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم معهد ماساتشوستس للتقانة (التخصص:رياضيات) (الشهادة:بكالوريوس العلوم)
جامعة برانديز (التخصص:رياضيات) (الشهادة:دكتوراه الفلسفة و ماجستير العلوم)
ثانوية البرونكس للعلوم  [لغات أخرى]‏  تعديل قيمة خاصية (P69) في ويكي بيانات
شهادة جامعية ماجستير العلوم،  ودكتوراه الفلسفة  تعديل قيمة خاصية (P512) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومبرمج،  ومهندس،  وكاتب  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغة الأم الإنجليزية  تعديل قيمة خاصية (P103) في ويكي بيانات
اللغات الإنجليزية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل علم الحاسوب،  وحوسبة موزعة  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في شركة ميتري،  وديجيتال إكوبمينت،  ومعهد ستانفورد للأبحاث،  ومعهد أبحاث مايكروسوفت  تعديل قيمة خاصية (P108) في ويكي بيانات
أعمال بارزة حوسبة موزعة،  ولاتخ[3]  تعديل قيمة خاصية (P800) في ويكي بيانات
الجوائز
المواقع
الموقع الموقع الرسمي  تعديل قيمة خاصية (P856) في ويكي بيانات

ليسلي لامبورت (بالإنجليزية: Leslie Lamport)‏، من مواليد 17 فبراير 1941(1941-02-17)، في مدينة نيويورك، عالم حاسوب أمريكي، له إنجازات في نظم التشغيل، وفي تزامن الوقت بين الحواسيب تحديداً، كما أنه أثبت فرص حل مسألة الجنرال البيزنطي.[8][9][10]

جوائزه

[عدل]

مراجع

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