ليسلي لامبورت (Leslie Lamport)، من مواليد 17 فبراير 1941، في مدينة نيويورك، عالم حاسوب أمريكي، له إنجازات في نظم التشغيل، وفي تزامن الوقت بين الحواسيب تحديداً، كما أنه أثبت فرص حل مسألة الجنرال البيزنطي.[5][6][7]
| ليسلي لامبورت | |
|---|---|
| (Leslie Lamport) | |
 |
|
| معلومات شخصية | |
| الميلاد | 7 فبراير 1941 (79 سنة)[1] نيويورك |
| مواطنة |  الولايات المتحدة |
| عضو في | الأكاديمية الوطنية للعلوم، والأكاديمية الأمريكية للفنون والعلوم |
| الحياة العملية | |
| المدرسة الأم | معهد ماساتشوستس للتكنولوجيا جامعة برانديز ثانوية البرونكس للعلوم |
| تخصص أكاديمي | رياضيات، ورياضيات |
| شهادة جامعية | بكالوريوس العلوم، ودكتوراه في الفلسفة و ماجستير في العلوم |
| المهنة | رياضياتي، وعالم حاسوب، ومبرمج، ومهندس، وكاتب |
| اللغة الأم | الإنجليزية |
| اللغات | الإنجليزية |
| مجال العمل | علم الحاسوب |
| موظف في | ديجيتال إكوبمينت، ومعهد ستانفورد للأبحاث، ومعهد أبحاث مايكروسوفت |
| أعمال بارزة | حوسبة موزعة، ولاتخ |
| الجوائز | |
زمالة رابطة مكائن الحوسبة (2014)[2] جائزة تورنغ (2013)[3][4] ميدالية جون فون نيومان من جمعية مهندسي الكهرباء والإلكترونيات (2008) دكتوراة فخرية (2007) دكتوراة فخرية (2006) دكتوراة فخرية (2003) |
|
| المواقع | |
| الموقع | الموقع الرسمي |
جوائزه
- ميدالية جون فون نيومان 2004.
- جائزة دايكجسترا
- جائزة تورنغ 2013
مراجع
- معرف موسوعة بريتانيكا على الإنترنت: https://www.britannica.com/biography/Leslie-Lamport — باسم: Leslie Lamport — تاريخ الاطلاع: 9 أكتوبر 2017 — العنوان : Encyclopædia Britannica
- Leslie Lamport — تاريخ الاطلاع: 21 يناير 2020 — الناشر: رابطة مكائن الحوسبة
- Leslie Lamport - A.M. Turing Award Laureate — تاريخ الاطلاع: 21 يناير 2020 — الناشر: رابطة مكائن الحوسبة
- Leslie Lamport — تاريخ الاطلاع: 21 يناير 2020 — الناشر: رابطة مكائن الحوسبة
- Lamport, Leslie (May 1994). "The Temporal Logic of Actions". ACM Transactions on Programming Languages and Systems. 16 (3): 872–923. doi:10.1145/177492.177726. مؤرشف من الأصل في 5 نوفمبر 201202 فبراير 2007.
- Leslie Lamport ACM Fellows 2014 - تصفح: نسخة محفوظة 30 مارس 2017 على موقع واي باك مشين.
- 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.