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

ليزلي باري لامبورت [ 2 ] (مواليد 7 فبراير 1941) هو عالم حاسوب ورياضيات أمريكي . اشتهر لامبورت بأعماله الرائدة في مجال الأنظمة الموزعة ، وبكونه المطور الأول لنظام إعداد المستندات LaTeX ومؤلف أول دليل له. [ 3 ]

فاز لامبورت بجائزة تورينج لعام 2013 [ 2 ] لإسهامه في فرض ترابط واضح ومحدد على السلوك الذي يبدو فوضويًا لأنظمة الحوسبة الموزعة ، حيث تتواصل عدة حواسيب مستقلة فيما بينها عبر تبادل الرسائل. وقد ابتكر خوارزميات مهمة وطوّر بروتوكولات رسمية للنمذجة والتحقق تُحسّن جودة الأنظمة الموزعة الحقيقية. وقد أسفرت هذه الإسهامات عن تحسين دقة وأداء وموثوقية أنظمة الحاسوب. [ 4 ] [ 5 ] [ 6 ] [ 7 ]

الحياة المبكرة والتعليم

وُلد لامبورت في عائلة يهودية في بروكلين، نيويورك، وهو ابن بنيامين وحنة لامبورت (اسمها قبل الزواج لاسر). كان والده مهاجرًا من فولكوفيسك في الإمبراطورية الروسية ( فاوكافيسك حاليًا ، بيلاروسيا ) [ 8 ] وكانت والدته مهاجرة من الإمبراطورية النمساوية المجرية ، جنوب شرق بولندا حاليًا.

تخرج لامبورت من مدرسة برونكس الثانوية للعلوم ، وحصل على بكالوريوس في الرياضيات من معهد ماساتشوستس للتكنولوجيا عام 1960، ثم على ماجستير (1963) ودكتوراه (1972) في الرياضيات من جامعة برانديز . [ 9 ] تتناول أطروحته، بعنوان "مسألة كوشي التحليلية مع البيانات الشاذة" ، حالات التفرد في المعادلات التفاضلية الجزئية التحليلية . [ 10 ]

المسار الوظيفي والبحث

عمل لامبورت كعالم حاسوب في شركة ماساتشوستس كمبيوتر أسوشيتس من عام 1970 إلى عام 1977، ومعهد ستانفورد للأبحاث ( SRI International ) من عام 1977 إلى عام 1985، وشركة ديجيتال إكويبمنت وكومباك من عام 1985 إلى عام 2001. وفي عام 2001 انضم إلى مايكروسوفت للأبحاث في كاليفورنيا ، [ 9 ] وتقاعد في يناير 2025. [ 11 ]

الأنظمة الموزعة

أرست إسهامات لامبورت البحثية أسس نظرية الأنظمة الموزعة. ومن أبرز أبحاثه:

تتناول هذه الأوراق البحثية مفاهيم مثل الساعات المنطقية (وعلاقة "حدث قبل ") والأعطال البيزنطية . وهي من بين أكثر الأوراق البحثية استشهادًا في مجال علوم الحاسوب، [ 17 ] وتصف خوارزميات لحل العديد من المشكلات الأساسية في الأنظمة الموزعة، بما في ذلك:

مطاط

عندما بدأ دونالد كنوث بإصدار النسخ الأولى من TeX في أوائل ثمانينيات القرن العشرين، بدأ لامبورت - بدافع حاجته الشخصية لكتابة كتاب - العمل على مجموعة من وحدات الماكرو المستندة إليها، على أمل أن تصبح فيما بعد حزمة الماكرو القياسية. عُرفت هذه المجموعة لاحقًا باسم LaTeX ، والتي تواصل معها بيتر جوردون، محرر في دار نشر أديسون-ويسلي ، عام ١٩٨٣ ، مقترحًا على لامبورت تحويل دليل المستخدم الخاص بها إلى كتاب. [ ١٨ ] [ ١٩ ]

في سبتمبر 1984، أصدر لامبورت الإصدار 2.06a من وحدات ماكرو LaTeX، وفي أغسطس 1985، صدر LaTeX 2.09، وهو آخر إصدار من LaTeX الخاص بلامبورت. في غضون ذلك، أصدرت دار نشر أديسون-ويسلي أول دليل مستخدم لـ LaTeX من لامبورت، بعنوان LaTeX: A Document Preparation System ، في عام 1986، والذي يُزعم أنه باع "أكثر من بضع مئات الآلاف" من النسخ. وفي 21 أغسطس 1989، خلال اجتماع لمجموعة مستخدمي TeX في جامعة ستانفورد ، وافق لامبورت على تسليم صيانة وتطوير LaTeX إلى فرانك ميتلباخ، الذي شكّل مع كريس راولي وراينر شوبف فريق LaTeX3، وأصدروا لاحقًا LaTeX 2e، الإصدار الحالي من LaTeX، في عام 1994. [ 19 ] [ 20 ]

المنطق الزمني

يُعرف لامبورت أيضًا بأعماله في مجال المنطق الزمني ، حيث قدّم المنطق الزمني للأفعال (TLA). [ 21 ] [ 22 ] ومن بين إسهاماته الحديثة لغة TLA + ، وهي لغة لتحديد الأنظمة المتزامنة والتفاعلية والاستدلال عليها، والتي يصفها في كتابه " تحديد الأنظمة: لغة TLA + وأدواتها لمهندسي الأجهزة والبرمجيات". [ 23 ] ويعرّف لامبورت لغة TLA+ بأنها " محاولة طموحة للتغلب على نفور المهندسين من الرياضيات". [ 24 ]

الجوائز والتكريمات

حصل لامبورت على جائزة تورينج لعام 2013 لإسهاماته الجوهرية في نظرية وتطبيق الأنظمة الموزعة والمتزامنة، ولا سيما ابتكاره مفاهيم مثل السببية والساعات المنطقية، والسلامة والحيوية، وآلات الحالة المتكررة، والاتساق التسلسلي، والتي يمكن استخدامها في مزامنة الأنظمة. [ 25 ] [ 26 ] وانتُخب عضوًا في الأكاديمية الوطنية للهندسة عام 1991 لإسهاماته في الأسس النظرية للحوسبة المتزامنة والمتسامحة مع الأخطاء. انتُخب زميلًا في جمعية آلات الحوسبة عام 2014 تقديرًا لمساهماته الجوهرية في نظرية وتطبيق الأنظمة الموزعة والمتزامنة. [ 27 ] كما حصل على خمس شهادات دكتوراه فخرية من جامعات أوروبية: جامعة رين وجامعة كريستيان ألبريشت في كيل عام 2003، والمدرسة الفيدرالية للفنون التطبيقية في لوزان (EPFL) عام 2004، وجامعة لوغانو عام 2006، وجامعة نانسي عام 2007. [ 9 ] وفي عام 2004، نال جائزة إيمانويل ر. بيور من معهد مهندسي الكهرباء والإلكترونيات (IEEE) . [ 28 ] وفي عام 2005، حازت ورقته البحثية بعنوان "التوصل إلى اتفاق في ظل وجود أعطال" [ 29 ] على جائزة ديكسترا . [ 30 ] تكريمًا لميلاد لامبورت الستين، نُظمت سلسلة محاضرات في الندوة العشرين حول مبادئ الحوسبة الموزعة (PODC 2001). [ 31 ] في عام 2008، حصل على ميدالية جون فون نيومان من معهد مهندسي الكهرباء والإلكترونيات (IEEE) . [ 32 ] في عام 2011، انتُخب عضوًا في الأكاديمية الوطنية للعلوم . [ 33 ]

في عام 2020، أطلقت منصة سولانا بلوك تشين اسم " لامبورت " على أصغر وحدة عملة لديها، تكريماً للامبورت. واللامبورت عبارة عن رمز أصلي جزئي بقيمة 0.000000001 سول (جزء من مليار من السول).

انظر أيضاً

مراجع

  1. ليزلي لامبورت في مشروع علم الأنساب الرياضي
  2. 1 2 "ليزلي باري لامبورت - الفائز بجائزة تورينج" . amturing.acm.org. 2013. تم الاطلاع عليه بتاريخ 2025-12-06 .
  3. لامبورت، ليزلي (1986). LaTeX: نظام لإعداد المستندات . أديسون-ويسلي. ISBN 978-0-201-15790-1تم الاطلاع عليه بتاريخ 20 يونيو 2019 .
  4. صفحة تعريف المؤلفة ليزلي لامبورت في مكتبة ACM الرقمية
  5. 1 2 لامبورت، ل. (1978). "الوقت، والساعات، وترتيب الأحداث في نظام موزع" (ملف PDF) . اتصالات ACM . 21 (7): 558-565 . CiteSeerX 10.1.1.142.3682 . doi : 10.1145/359545.359563 . S2CID 215822405 .  
  6. سافاج، ن. (2014). "اتفاق عام: ساهم ليزلي لامبورت في نظرية وممارسة بناء أنظمة الحوسبة الموزعة التي تعمل على النحو المنشود". اتصالات رابطة آلات الحوسبة . 57 (6): 22-23 . doi : 10.1145/2601076 . S2CID 5936915 . 
  7. هوفمان، ل. (2014). "سؤال وجواب: فرق تسد: ليزلي لامبورت حول الجنرالات البيزنطيين، والساعات، وأدوات أخرى للاستدلال حول الأنظمة المتزامنة". اتصالات رابطة مكائن ​​الحوسبة . 57 (6): 112 وما بعدها. doi : 10.1145/2601077 . S2CID 31514650 . 
  8. "بطاقة تجنيد بنيامين لامبورت في الحرب العالمية الأولى" . Ancestry.com . تم الاطلاع عليها بتاريخ 12 يوليو 2022 .
  9. 1 2 3 لامبورت، ليزلي (19-12-2006). "كتاباتي" . تم الاسترجاع في 2-02-2007 .
  10. لامبورت، ليزلي (1972). "مسألة كوشي التحليلية مع البيانات الشاذة" . تم الاسترجاع في 2007-02-02 .
  11. "الصفحة الرئيسية لليزلي لامبورت" . www.lamport.org . مؤرشف من الأصل بتاريخ 28-12-2024 . تم الاطلاع عليه بتاريخ 03-01-2025 .
  12. نيجر، جيل (23 يناير 2003). "جائزة PODC للأوراق البحثية المؤثرة: 2000" . مؤرشف من الأصل في 12 سبتمبر 2013. تم الاطلاع عليه في 2 فبراير 2007 .
  13. لامبورت، ليزلي (1979). "كيفية صنع حاسوب متعدد المعالجات يُنفذ برنامجًا متعدد العمليات بشكل صحيح" . مجلة IEEE للمعاملات الحاسوبية . 28 (9): 690-691 . doi : 10.1109/TC.1979.1675439 . ISSN 0018-9340 . S2CID 5679366 .  
  14. لامبورت، ليزلي؛ روبرت شوستاك؛ مارشال بيس (يوليو 1982). "مشكلة الجنرالات البيزنطيين" . معاملات ACM في لغات البرمجة والأنظمة . 4 (3): 382-401 . CiteSeerX 10.1.1.64.2312 . doi : 10.1145/357172.357176 . S2CID 55899582. تاريخ الاسترجاع: 2007-02-02 .  
  15. تشاندي، ك. ماني؛ ليزلي لامبورت (فبراير 1985). "اللقطات الموزعة: تحديد الحالات العامة لنظام موزع" . معاملات ACM لأنظمة الحاسوب . 3 (1): 63-75 . CiteSeerX 10.1.1.69.2561 . doi : 10.1145/214451.214456 . S2CID 207193167. تاريخ الاسترجاع: 2007-02-02 .  
  16. لامبورت، ليزلي (مايو 1998). "البرلمان بدوام جزئي" . معاملات ACM لأنظمة الحاسوب . 16 (2): 133-169 . doi : 10.1145/279227.279229 . S2CID 421028. تاريخ الاسترجاع: 2007-02-02 . 
  17. "المقالات الأكثر استشهاداً في علوم الحاسوب" . سبتمبر 2006. تم الاطلاع عليه بتاريخ 8 أكتوبر 2007 .
  18. لامبورت، ليزلي. "كيف غيرت (LA)TEX وجه الرياضيات" (PDF) .
  19. 1 2 "كتابات ليزلي لامبورت" . lamport.azurewebsites.net . تم الاطلاع عليه بتاريخ 19-07-2019 .
  20. "TeX وLaTeX وAMS-LaTeX" . 3 ديسمبر 1998. مؤرشف من الأصل في 3 ديسمبر 1998. تم الاطلاع عليه في 19 يوليو 2019 .
  21. لامبورت، ليزلي (1990-04-01). "منطق زمني للأفعال" . تم الاسترجاع في 2007-02-02 .
  22. لامبورت، ليزلي (مايو 1994). "المنطق الزمني للأفعال" . معاملات ACM في لغات البرمجة والأنظمة . 16 (3): 872-923 . doi : 10.1145/177492.177726 . S2CID 5498471. تاريخ الاسترجاع: 2007-02-02 . 
  23. لامبورت، ليزلي (2002). تحديد مواصفات الأنظمة: لغة وأدوات TLA + لمهندسي الأجهزة والبرمجيات . أديسون-ويسلي. ISBN 978-0-321-14306-8تم الاطلاع عليه بتاريخ 2007-02-02 .
  24. "سيرة المتحدث الرئيسي في المؤتمر الدولي للأنظمة والشبكات الموثوقة" . مؤرشف من الأصل بتاريخ 12 فبراير 2019. تم الاطلاع عليه بتاريخ 5 يوليو 2021 .
  25. "جائزة تورينج 2013" . ACM.
  26. نيوبورت، كاليفورنيا (2021). "الجزء الأول: الحجة ضد البريد الإلكتروني : الفصل الثالث: البريد الإلكتروني له إرادة خاصة به؛ ملاحظات". عالم بلا بريد إلكتروني: إعادة تصور العمل في عصر وفرة الاتصالات . بورتفوليو / بنغوين. ص 81، 273. ISBN   978-0-525-53655-0.
  27. ليزلي لامبورت، زميلة جمعية آلات الحوسبة لعام 2014
  28. "قائمة الحائزين على جائزة إيمانويل ر. بيور من معهد مهندسي الكهرباء والإلكترونيات" (ملف PDF) . معهد مهندسي الكهرباء والإلكترونيات. مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 24 نوفمبر 2010. تم الاطلاع عليه بتاريخ 31 ديسمبر 2010 .
  29. بيس، مارشال؛ روبرت شوستاك؛ ليزلي لامبورت (أبريل 1980). "التوصل إلى اتفاق في ظل وجود الأخطاء" . مجلة رابطة آلات الحوسبة . 27 (2): 228-234 . CiteSeerX 10.1.1.68.4044 . doi : 10.1145/322186.322188 . S2CID 6429068. تاريخ الاسترجاع: 2007-02-02 .  
  30. "جائزة إدسكار دبليو ديكسترا في الحوسبة الموزعة: 2005" . تم الاطلاع عليه بتاريخ 2007-02-02 .
  31. "PODC 2001: سلسلة محاضرات لامبورت" . تم الاطلاع عليه بتاريخ 2009-07-02 .
  32. "الحائزون على ميدالية جون فون نيومان من معهد مهندسي الكهرباء والإلكترونيات" (ملف PDF) . معهد مهندسي الكهرباء والإلكترونيات. مؤرشف من الأصل (ملف PDF) بتاريخ 19 يونيو 2010. تم الاطلاع عليه بتاريخ 31 ديسمبر 2010 .
  33. تم أرشفة الأعضاء والمنتسبين الأجانب المنتخبين في 7 مايو 2011، في Wayback Machine ، الأكاديمية الوطنية للعلوم، 3 مايو 2011.
  • اقتباسات متعلقة بليزلي لامبورت على موقع ويكي الاقتباسات