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

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

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

جوائزه

مراجع
  1. العنوان : Encyclopædia Britannica — مُعرِّف موسوعة بريتانيكا على الإنترنت (EBID): https://www.britannica.com/biography/Leslie-Lamport — باسم: Leslie Lamport — تاريخ الاطلاع: 9 أكتوبر 2017
  2. Computing Expert Says Programmers Need More Math | Quanta Magazine — تاريخ الاطلاع: 7 يونيو 2022
  3. الناشر: جمعية آلات الحوسبة — Leslie Lamport — تاريخ الاطلاع: 21 يناير 2020
  4. الناشر: جمعية آلات الحوسبة — Leslie Lamport - A.M. Turing Award Laureate — تاريخ الاطلاع: 21 يناير 2020
  5. الناشر: جمعية آلات الحوسبة — Leslie Lamport — تاريخ الاطلاع: 21 يناير 2020
  6. https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos
  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، مؤرشف من الأصل في 5 نوفمبر 2012، اطلع عليه بتاريخ 02 فبراير 2007.
  8. Leslie Lamport ACM Fellows 2014 نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
  9. Hoffmann (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.