ليزلي فاليانت

ليزلي غابرييل فاليانت، زميل الجمعية الملكية [ 4 ] [ 5 ] (مواليد 28 مارس 1949)، عالم حاسوب ونظري حاسوبي بريطاني أمريكي [ 6 ] . [ 7 ] [ 8 ] وُلد لأب مهندس كيميائي وأم مترجمة. [ 9 ] يشغل حاليًا منصب أستاذ تي. جيفرسون كوليدج لعلوم الحاسوب والرياضيات التطبيقية في جامعة هارفارد . [ 10 ] [ 11 ] [ 12 ] [ 13 ] مُنح فاليانت جائزة تورينج عام 2010، بعد أن وصفته جمعية آلات الحوسبة (ACM) بأنه شخصية بارزة في علوم الحاسوب النظرية وقدوة يُحتذى بها لشجاعته وإبداعه في معالجة بعض أعمق المشكلات العلمية التي لم تُحل بعد؛ ولا سيما "لجمعه المذهل بين العمق والشمول". [ 6 ]

تعليم

تلقى فاليانت تعليمه في كلية كينجز، كامبريدج ، [ 14 ] [ 6 ] إمبريال كوليدج لندن ، [ 14 ] [ 6 ] وجامعة وارويك حيث حصل على درجة الدكتوراه في علوم الحاسوب عام 1974. [ 15 ] [ 3 ]

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

يُعرف فاليانت عالميًا بأعماله في علوم الحاسوب النظرية . ومن بين إسهاماته العديدة في نظرية التعقيد ، قدّم مفهوم اكتمال شارب-P (#P-completeness) لتفسير سبب استحالة حلّ مشكلات التعداد والموثوقية. كما ابتكر نموذج التعلّم التقريبي الصحيح المحتمل (PAC) الذي أسس لمجال نظرية التعلّم الحسابي ، وأصبح أساسًا نظريًا لتطوير التعلّم الآلي . وقدّم أيضًا مفهوم الخوارزميات الهولوغرافية المستوحاة من نموذج الحوسبة الكمومية . وفي مجال أنظمة الحاسوب، اشتهر فاليانت بتقديمه نموذج المعالجة المتوازية المتزامنة الضخمة (BSP ). وعلى غرار نموذج فون نيومان لبنية حاسوبية واحدة، كان نموذج BSP نموذجًا مؤثرًا في بنى الحوسبة المتوازية والموزعة. من الأمثلة الحديثة على ذلك اعتماد جوجل لهذه التقنية في الحوسبة واسعة النطاق عبر MapReduce وMillWheel [ 16 ] و Pregel [ 17 ] و Dataflow ، بالإضافة إلى إنشاء فيسبوك لنظام تحليل رسوم بيانية قادر على معالجة أكثر من تريليون حافة [ 18 ] [ 19 ] . كما توجد مشاريع مفتوحة المصدر نشطة لإضافة برمجة BSP صريحة، بالإضافة إلى نماذج برمجة متوازية عالية الأداء أخرى مشتقة من BSP. ومن الأمثلة الشائعة Hadoop و Spark و Giraph و Hama و Beam و Dask . وتشمل أعماله السابقة في نظرية الأوتوماتا خوارزمية للتحليل النحوي الخالي من السياق ، والتي لا تزال الأسرع من حيث التقارب. كما يعمل في مجال علم الأعصاب الحاسوبي، ويركز على فهم الذاكرة والتعلم.

كتاب فاليانت الصادر عام ٢٠١٣ بعنوان " ربما صحيح تقريبًا: خوارزميات الطبيعة للتعلم والازدهار في عالم معقد" . [ ٢٠ ] يجادل فيه، من بين أمور أخرى، بأن علم الأحياء التطوري لا يفسر معدل حدوث التطور، ويكتب، على سبيل المثال: "إن الأدلة على صحة مخطط داروين العام للتطور مقنعة لغالبية علماء الأحياء. وقد زار هذا المؤلف عددًا كافيًا من متاحف التاريخ الطبيعي ليقتنع بذلك بنفسه. ومع ذلك، لا يعني كل هذا أن نظرية التطور الحالية كافية للتفسير. ففي الوقت الراهن، لا تستطيع نظرية التطور أن تقدم تفسيرًا لمعدل تقدم التطور لتطوير آليات معقدة أو للحفاظ عليها في بيئات متغيرة."

بدأ فاليانت التدريس في جامعة هارفارد عام 1982، ويشغل حاليًا منصب أستاذ تي. جيفرسون كوليدج لعلوم الحاسوب والرياضيات التطبيقية في كلية الهندسة والعلوم التطبيقية بجامعة هارفارد . وقبل عام 1982، درّس في جامعة كارنيجي ميلون ، وجامعة ليدز ، وجامعة إدنبرة .

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

حصل فاليانت على جائزة نيفانلينا عام 1986، وجائزة كنوت عام 1997، وجائزة الجمعية الأوروبية لعلوم الحاسوب والتقنية عام 2008، [ 21 ] وجائزة تورينج عام 2010. [ 22 ] [ 23 ] وانتُخب زميلًا في الجمعية الملكية (FRS) عام 1991، [ 4 ] وزميلًا في جمعية النهوض بالذكاء الاصطناعي (AAAI) عام 1992، [ 24 ] وعضوًا في الأكاديمية الوطنية للعلوم بالولايات المتحدة عام 2001. [ 25 ] وجاء في ترشيح فاليانت للجمعية الملكية ما يلي:

ساهم ليزلي فاليانت بشكلٍ حاسم في نمو علم الحاسوب النظري. انصبّ اهتمامه الرئيسي على تحديد تكاليف موارد الحاسوب كميًا. في أعماله المبكرة (1975)، اكتشف أسرع خوارزمية معروفة من حيث التقارب في التعرف على اللغات الخالية من السياق. في الوقت نفسه، كان رائدًا في استخدام خصائص الاتصال للرسوم البيانية لتحليل العمليات الحسابية. في عام 1977، عرّف مفهوم اكتمال "شارب-بي" (#P) ​​وأثبت جدواه في تصنيف مسائل العد أو التعداد وفقًا لقابلية الحساب. كان أول تطبيق له على عدّ المطابقات (دالة المصفوفة الدائمة). في عام 1984، قدّم ليزلي تعريفًا للتعلم الاستقرائي يوفق، ولأول مرة، بين الجدوى الحسابية وإمكانية تطبيقه على فئات غير بديهية من القواعد المنطقية المراد تعلمها. أصبح هذا المفهوم، الذي سُمّي لاحقًا "التعلم الصحيح تقريبًا"، أساسًا نظريًا لتطوير التعلم الآلي. في عام 1989، صاغ مفهوم الحوسبة المتزامنة الضخمة كمبدأ موحد للحوسبة المتوازية. حصل ليزلي على جائزة نيفانلينا في عام 1986، وجائزة تورينج في عام 2010. [ 26 ]

وجاء في حيثيات منحه جائزة تورينج:

لإسهاماته التحويلية في نظرية الحوسبة، بما في ذلك نظرية التعلم الصحيح تقريبًا (PAC)، وتعقيد التعداد والحساب الجبري، ونظرية الحوسبة المتوازية والموزعة. [ 6 ]

الحياة الشخصية

ابناه غريغوري فاليانت [ 27 ] وبول فاليانت [ 28 ] كلاهما أيضاً عالمان في مجال علوم الحاسوب النظرية. [ 8 ]

مراجع

  1. فاليانت، ل.؛ فازيراني، ف. (1986). "NP سهل مثل اكتشاف الحلول الفريدة" (ملف PDF) . علوم الحاسوب النظرية . 47 : 85-93 . doi : 10.1016/0304-3975(86)90135-0 .
  2. فاليانت، إل جي (1979). "تعقيد مسائل التعداد والموثوقية". مجلة SIAM للحوسبة . 8 (3): 410-421 . doi : 10.1137/0208032 .
  3. 1 2 3 ليزلي فاليانت في مشروع علم الأنساب الرياضي
  4. 1 2 "ليزلي فاليانت FRS" . لندن: الجمعية الملكية . 1991.
  5. عرض كتالوج أرشيف DServe
  6. 1 2 3 4 5 "ليزلي جي. فاليانت - الحائز على جائزة تورينج" . جائزة تورينج . تم الاطلاع عليه بتاريخ 9 يناير 2019 .
  7. هوفمان، ل. (2011). "سؤال وجواب: ليزلي فاليانت يناقش التعلم الآلي، والحوسبة المتوازية، وعلم الأعصاب الحاسوبي" . مجلة اتصالات رابطة مكائن ​​الحوسبة . 54 (6): 128. doi : 10.1145/1953122.1953152 .
  8. 1 2 مجهول (2017). "فاليانت، البروفيسور ليزلي غابرييل" . موسوعة الشخصيات (إصدار إلكتروني من مطبعة جامعة أكسفورد ). أكسفورد: إيه آند سي بلاك. doi : 10.1093/ww/9780199540884.013.U40928 .   (يلزم الاشتراك أو عضوية المكتبة العامة في المملكة المتحدة .)
  9. "مقابلة التاريخ الشفوي لجائزة إيه إم تورينج مع ليزلي غابرييل فاليانت" (ملف PDF) .
  10. صفحة تعريف المؤلفة ليزلي فاليانت في مكتبة ACM الرقمية
  11. ويغدرسون، أ. (2009). "أعمال ليزلي فاليانت". وقائع الندوة السنوية الحادية والأربعين لجمعية آلات الحوسبة حول نظرية الحوسبة - STOC '09 . الصفحات 1-2 . doi : 10.1145/1536414.1536415 . ISBN  9781605585062. S2CID 15370663 . 
  12. ليزلي جي. فاليانت على خادم ببليوغرافيا DBLP
  13. فاليانت، ليزلي (1984). "نظرية ما يمكن تعلمه" (ملف PDF) . اتصالات رابطة آلات الحوسبة . 27 (11): 1134-1142 . doi : 10.1145/1968.1972 . S2CID 12837541 . 
  14. 1 2 "السيرة الذاتية لليزلي جي. فاليانت" (ملف PDF) . جامعة هارفارد . تم الاطلاع عليه بتاريخ 9 يناير 2019 .
  15. فاليانت، ليزلي (1973). إجراءات اتخاذ القرار لعائلات من آلات الدفع الحتمية . warwick.ac.uk (أطروحة دكتوراه). جامعة وارويك. OCLC 726087468. EThOS uk.bl.ethos.475930 .  
  16. MillWheel: معالجة تدفق البيانات المقاومة للأعطال على نطاق الإنترنت
  17. بريجل: نظام لمعالجة الرسوم البيانية واسعة النطاق
  18. مقارنة بين أحدث أنظمة معالجة الرسوم البيانية .
  19. تريليون حافة: معالجة الرسوم البيانية على نطاق فيسبوك
  20. https://www.hachettebookgroup.com/titles/leslie-valiant/probably-approximately-correct/9780465037902/?lens=basic-books , ISBN 9780465032716
  21. ديفيد بيليج جائزة EATCS لعام 2008 – إشادة للأستاذ ليزلي فاليانت الجمعية الأوروبية لعلوم الحاسوب النظرية.
  22. جوش فيشمان "مخترع 'صحيح تقريبًا'، من جامعة هارفارد، يفوز بجائزة تورينج" كرونيكل للتعليم العالي 9 مارس 2011.
  23. جائزة تورينج من جمعية آلات الحوسبة تُمنح لمبتكر في مجال التعلم الآلي - أخبار الحوسبة من جمعية آلات الحوسبة
  24. تم انتخابه زميلاً في جمعية النهوض بالذكاء الاصطناعي (AAAI).
  25. دليل الأعضاء: ليزلي جي. فاليانت، الأكاديمية الوطنية للعلوم.
  26. https://royalsociety.org/people/leslie-valiant-12451/ سيرة ذاتية من الجمعية الملكية
  27. الصفحة الرئيسية لغريغوري فاليانت
  28. الصفحة الرئيسية لبول فاليانت

 تتضمن هذه المقالة نصًا متاحًا بموجب ترخيص CC BY 4.0 .