غوردون بلوتكين

الموسوعة الحرة

غوردون ديفيد بلوتكين (مواليد 9 سبتمبر 1946) [ 1 ] عالم حاسوب نظري في كلية المعلوماتية بجامعة إدنبرة . يُعرف بلوتكين على الأرجح بتقديمه لعلم الدلالات التشغيلية البنيوية (SOS) وعمله في مجال الدلالات الدلالية . وقد كان لملاحظاته حول "المنهج البنيوي للدلالات التشغيلية" تأثير بالغ. [ 9 ] [ 10 ] كما أسهم في العديد من مجالات علوم الحاسوب الأخرى . [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ]

تعليم

تلقى بلوتكين تعليمه في جامعة غلاسكو وجامعة إدنبرة ، وحصل على درجة البكالوريوس في العلوم عام 1967 [ 1 ] ودرجة الدكتوراه عام 1972 [ 3 ] تحت إشراف رود بورستال . [ 2 ]

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

بقي بلوتكين في إدنبرة، وكان، مع بيرستال وروبن ميلنر ، أحد مؤسسي مختبر أسس علوم الحاسوب (LFCS). [ 18 ] [ 19 ] [ 20 ] [ 21 ] ومن بين طلاب الدكتوراه السابقين لديه: لوكا كارديلي ، [ 4 ] وفيليبا غاردنر ، [ 5 ] ودوغ غور ، [ 6 ] ويوجينيو موجي ، [ 7 ] ولي وي . [ 8 ] [ 2 ]

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

انتُخب بلوتكين زميلًا في الجمعية الملكية (FRS) عام 1992، وزميلًا في الجمعية الملكية في إدنبرة (FRSE) ، وهو عضو في الأكاديمية الأوروبية [ 22 ] والأكاديمية الأمريكية للفنون والعلوم . [ 23 ] كما فاز بجائزة وولفسون للتميز البحثي من الجمعية الملكية . وحصل بلوتكين على جائزة ميلنر عام 2012 لـ"أبحاثه الأساسية في دلالات البرمجة ذات الأثر الدائم على مبادئ وتصميم لغات البرمجة". [ 24 ] وجاء في ترشيحه للجمعية الملكية ما يلي:

أسهم بلوتكين في مجالات الذكاء الاصطناعي والمنطق واللغويات، وخاصةً في علوم الحاسوب. ففي مجال الذكاء الاصطناعي، عمل على صياغة الفرضيات والتوحيد الشامل؛ وفي المنطق، على أطر المنطق المختلفة؛ وفي اللغويات، على صياغة نظرية المواقف . وكانت مساهمته العامة الرئيسية هي وضع إطار دلالي لعلوم الحاسوب، ولا سيما لغات البرمجة. ومن أبرز نتائجه ما يلي: حساب لامدا (النماذج الأولية، والتعريف، والاستدعاء بالقيمة )، واللا حتمية ( نظرية مجال القوة )، والصيغ الدلالية ( الدلالات التشغيلية المهيكلة ، واللغات الفوقية)، وفئات المجالات الدلالية (المتماسكة، والمحدودة، والملموسة). وتشمل مساهماته الأخرى النموذج الدلالي للتجريد الكامل، ونظرية التزامن (بنى الأحداث)، ومنطق البرمجة، ونظرية الأنواع . [ 25 ]

مراجع

  1. 1 2 3 مجهول (2013). "بلوتكين، البروفيسور غوردون ديفيد" . موسوعة الشخصيات (إصدار إلكتروني من مطبعة جامعة أكسفورد ). أكسفورد: إيه آند سي بلاك. doi : 10.1093/ww/9780199540884.013.U31011 .   (يلزم الاشتراك أو عضوية المكتبة العامة في المملكة المتحدة .)
  2. 1 2 3 غوردون بلوتكين في مشروع علم الأنساب الرياضي
  3. 1 2 بلوتكين، جوردون ديفيد (1972). الأساليب الآلية للاستدلال الاستقرائي (أطروحة دكتوراه). جامعة إدنبرة. hdl : 1842/6656 . EThOS uk.bl.ethos.482992 . أيقونة الوصول المجاني
  4. 1 2 كارديلي، لوكا (1982). منهج جبري لوصف الأجهزة والتحقق منها (أطروحة دكتوراه). جامعة إدنبرة. hdl : 1842/13308 . EThOS uk.bl.ethos.253190 . 
  5. 1 2 غاردنر، فيليبا (1992). تمثيل المنطق في نظرية الأنواع (أطروحة دكتوراه). جامعة إدنبرة. hdl : 1842/14888 . EThOS uk.bl.ethos.651333 . أيقونة الوصول المجاني
  6. 1 2 غور، دوغلاس جون (1990). الأطر الدلالية للتعقيد (أطروحة دكتوراه). جامعة إدنبرة. hdl : 1842/13968 . OCLC 475827463 . EThOS uk.bl.ethos.651894 .  أيقونة الوصول المجاني
  7. 1 2 موجي، يوجينيو (1999). حساب التفاضل والتكامل الجزئي لامدا (أطروحة دكتوراه). جامعة إدنبرة. hdl : 1842/419 .
  8. 1 2 وي، لي (1983). منهج عملي للدلالات والترجمة للغات البرمجة (أطروحة دكتوراه). hdl : 1842/6636 .
  9. ↑ كراري، كارل؛ هاربر، روبرت (2007). "العلاقات المنطقية التركيبية للأنواع متعددة الأشكال والتكرارية" . ملاحظات إلكترونية في علوم الحاسوب النظرية . 172 : 259. doi : 10.1016/j.entcs.2007.02.010 .
  10. ↑ كوريان، بيير لويس (أبريل 2022)، الدلالات والنحو، بين علوم الحاسوب والرياضيات (ملف PDF) ، ص 2 
  11. ↑ منشورات غوردون بلوتكين المفهرسة بواسطة جوجل سكولار
  12. ↑ صفحة تعريف المؤلف غوردون بلوتكين في مكتبة ACM الرقمية
  13. ↑ منشورات غوردون بلوتكين المفهرسة في قاعدة بيانات سكوبس الببليوغرافية. (الاشتراك مطلوب)
  14. ↑ غوردون د. بلوتكين في خادم ببليوغرافيا DBLP
  15. ↑ ميتشل، جيه سي ؛ بلوتكين، جي دي (1988). "للأنواع المجردة نوع وجودي" . معاملات ACM في لغات البرمجة والأنظمة . 10 (3): 470. doi : 10.1145/44501.45065 . S2CID 1222153 . 
  16. ↑ عبادي، م.ن .؛ بوروز، م .؛ لامبسون، ب .؛ بلوتكين، ج. (1993). "حساب للتحكم في الوصول في الأنظمة الموزعة" (ملف PDF) . معاملات ACM في لغات البرمجة والأنظمة . 15 (4): 706. CiteSeerX 10.1.1.72.3756 . doi : 10.1145/155183.155225 . hdl : 1842/207 . S2CID 13260508 .  
  17. ↑ " ندوة لغوردون بلوتكين" . www.lfcs.inf.ed.ac.uk
  18. ↑ بلوتكين، جي دي (1975). "الاستدعاء بالاسم، والاستدعاء بالقيمة، وحساب لامدا" . علوم الحاسوب النظرية . 1 (2): 125-159 . doi : 10.1016/0304-3975(75)90017-1 .
  19. ↑ بلوتكين، جي دي (2004). "أصول الدلالات التشغيلية الهيكلية" . مجلة المنطق والبرمجة الجبرية . 60-61 : 3-15 . doi : 10.1016/j.jlap.2004.03.009 .
  20. ↑ منهج بنيوي للدلالات التشغيلية بقلم جي دي بلوتكين (1981)
  21. ↑ التحقق من البرامج والدلالات: أعمال إضافية مؤرشفة في 26 سبتمبر 2007 في Wayback Machine (2004)
  22. ↑ هوفمان، إيليري حساني، روبرت. "أكاديمية أوروبا: بلوتكين غوردون" . www.ae-info.org .{{cite web}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  23. ↑ "أعضاء جدد في الأكاديمية الأمريكية للفنون والعلوم" .
  24. ↑ "- الجمعية الملكية" . royalsociety.org .
  25. ↑ "EC/1992/29: بلوتكين، غوردون ديفيد" . لندن: الجمعية الملكية. مؤرشف من الأصل في 16 أبريل 2014.