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

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

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

جوائزه

مراجع
  1. Encyclopædia Britannica | Leslie Lamport (بالإنجليزية), QID:Q5375741
  2. "Computing Expert Says Programmers Need More Math | Quanta Magazine" (بالإنجليزية). Retrieved 2022-06-07.
  3. "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
  4. "Leslie Lamport - A.M. Turing Award Laureate" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
  5. "Leslie Lamport" (بالإنجليزية). Association for Computing Machinery. Retrieved 2020-01-21.
  6. https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos. {{استشهاد ويب}}: |url= بحاجة لعنوان (مساعدة) والوسيط |title= غير موجود أو فارغ (من ويكي بيانات) (مساعدة)
  7. 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.
  8. Leslie Lamport ACM Fellows 2014 نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
  9. 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.
  • أيقونة بوابةبوابة علم الحاسوب
  • أيقونة بوابةبوابة الولايات المتحدة
  • أيقونة بوابةبوابة أعلام
  • أيقونة بوابةبوابة مايكروسوفت
  • أيقونة بوابةبوابة تقانة المعلومات
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.