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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
ليسلي لامبورت
(بالإنجليزية: Leslie Lamport)‏  تعديل قيمة خاصية (P1559) في ويكي بيانات
Leslie Lamport.jpg
 

معلومات شخصية
الميلاد 7 فبراير 1941 (81 سنة)[1]  تعديل قيمة خاصية (P569) في ويكي بيانات
نيويورك  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة Flag of the United States.svg الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في الأكاديمية الوطنية للعلوم،  والأكاديمية الأمريكية للفنون والعلوم  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم معهد ماساتشوستس للتكنولوجيا (التخصص:رياضيات) (الشهادة:بكالوريوس العلوم)
جامعة برانديز (التخصص:رياضيات) (الشهادة:دكتوراه في الفلسفة و ماجستير في العلوم)
ثانوية البرونكس للعلوم  [لغات أخرى]  تعديل قيمة خاصية (P69) في ويكي بيانات
شهادة جامعية ماجستير في العلوم،  ودكتوراه في الفلسفة  تعديل قيمة خاصية (P512) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومبرمج،  ومهندس،  وكاتب  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغة الأم الإنجليزية  تعديل قيمة خاصية (P103) في ويكي بيانات
اللغات الإنجليزية  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل علم الحاسوب،  وحوسبة موزعة  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في شركة ميتري،  وديجيتال إكوبمينت،  ومعهد ستانفورد للأبحاث،  ومعهد أبحاث مايكروسوفت  تعديل قيمة خاصية (P108) في ويكي بيانات
أعمال بارزة حوسبة موزعة،  ولاتخ  تعديل قيمة خاصية (P800) في ويكي بيانات
الجوائز
زمالة رابطة مكائن الحوسبة  [لغات أخرى]  (2014)[2]
جائزة تورنغ  (2013)[3][4]
ميدالية جون فون نيومان من جمعية مهندسي الكهرباء والإلكترونيات (2008)[5]
دكتوراه فخرية  [لغات أخرى]   (2007)
دكتوراه فخرية  [لغات أخرى]   (2006)
الدكتوراه الفخرية من مدرسة لوزان الاتحادية للفنون التطبيقية  [لغات أخرى] (2004)
الدكتوراه الفخرية من مدرسة لوزان الاتحادية للفنون التطبيقية  [لغات أخرى]  تعديل قيمة خاصية (P166) في ويكي بيانات
المواقع
الموقع الموقع الرسمي  تعديل قيمة خاصية (P856) في ويكي بيانات

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

جوائزه[عدل]

مراجع[عدل]

  1. ^ العنوان : Encyclopædia Britannica — مُعرِّف موسوعة بريتانيكا على الإنترنت (EBID): https://www.britannica.com/biography/Leslie-Lamport — باسم: Leslie Lamport — تاريخ الاطلاع: 9 أكتوبر 2017
  2. ^ الناشر: جمعية آلات الحوسبةLeslie Lamport — تاريخ الاطلاع: 21 يناير 2020
  3. ^ الناشر: جمعية آلات الحوسبةLeslie Lamport - A.M. Turing Award Laureate — تاريخ الاطلاع: 21 يناير 2020
  4. ^ الناشر: جمعية آلات الحوسبةLeslie Lamport — تاريخ الاطلاع: 21 يناير 2020
  5. ^ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos
  6. ^ Lamport, Leslie (مايو 1994)، "The Temporal Logic of Actions"، ACM Transactions on Programming Languages and Systems، 16 (3): 872–923، doi:10.1145/177492.177726، مؤرشف من الأصل في 5 نوفمبر 2012، اطلع عليه بتاريخ 02 فبراير 2007.
  7. ^ Leslie Lamport ACM Fellows 2014 نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
  8. ^ 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.