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

ليسلي لامبورت
(بالإنجليزية: Leslie Lamport) 
معلومات شخصية
الميلاد 7 فبراير 1941 (84 سنة)[1] 
نيويورك 
مواطنة الولايات المتحدة
عضوية الأكاديمية الوطنية للعلوم[2]، والأكاديمية الأمريكية للفنون والعلوم، وجمعية آلات الحوسبة[3]، والأكاديمية الوطنية للهندسة[4] 
الحياة العملية
المدرسة الأم معهد ماساتشوستس للتقانة (التخصص:رياضيات) (الشهادة:بكالوريوس العلوم)
جامعة برانديز (التخصص:رياضيات) (الشهادة:دكتوراه الفلسفة و ماجستير العلوم)
ثانوية البرونكس للعلوم ‏ 
شهادة جامعية ماجستير العلوم، ودكتوراه الفلسفة 
المهنة رياضياتي، وعالم حاسوب، ومبرمج، ومهندس، وكاتب 
اللغة الأم الإنجليزية 
اللغات الإنجليزية 
مجال العمل علم الحاسوب، وحوسبة موزعة 
موظف في شركة ميتري، وديجيتال إيكيوبمنت كوربوريشن، ومعهد ستانفورد للأبحاث، ومعهد أبحاث مايكروسوفت 
أعمال بارزة حوسبة موزعة، ولاتخ[5]، ولغة التحقق الرسمية من أنظمة البرمجيات 
الجوائز
  القائمة ...
جائزة ديكسترا (2014)
زمالة رابطة مكائن الحوسبة (2014)[6][3]
جائزة تورنغ (2013)[7][8]
ميدالية جون فون نيومان من جمعية مهندسي الكهرباء والإلكترونيات (2008)[9]
دكتوراه فخرية (2007)
جائزة ديكسترا (2005)[10]
الدكتوراة الفخرية من مدرسة لوزان الاتحادية للفنون التطبيقية (2004)
جائزة ديكسترا (2000)[11]
الدكتوراة الفخرية من مدرسة لوزان الاتحادية للفنون التطبيقية 
المواقع
الموقع الموقع الرسمي 

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

جوائزه

مراجع

  1. ↑ Encyclopædia Britannica | Leslie Lamport (بالإنجليزية), QID:Q5375741
  2. ↑ "Leslie B. Lamport" (بالإنجليزية). Retrieved 2025-06-12.
  3. 1 2 https://www.acm.org/media-center/2015/january/fellows-2014. اطلع عليه بتاريخ 2024-06-24. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  4. ↑ "Dr. Leslie B. Lamport" (بالإنجليزية). Retrieved 2025-06-12.
  5. ↑ "Computing Expert Says Programmers Need More Math | Quanta Magazine" (بالإنجليزية). Retrieved 2022-06-07.
  6. ↑ "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
  7. ↑ "Leslie Lamport - A.M. Turing Award Laureate" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
  8. ↑ "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
  9. ↑ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  10. ↑ "Edsger W. Dijkstra Prize in Distributed Computing – ACM Symposium on Principles of Distributed Computing" (بالإنجليزية). Retrieved 2025-06-12.
  11. ↑ "Dijkstra Prize" (بالإنجليزية البريطانية). Retrieved 2025-06-12.
  12. ↑ 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.
  13. ↑ Leslie Lamport ACM Fellows 2014 نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
  14. ↑ 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.
هذه المقالة صادرة عن Wikipedia. النص متاح تحت رخصة المشاع الإبداعي - الإسناد - الترخيص بالمثل. قد تُطبَّق شروط إضافية على ملفات الوسائط.