فيليب وادلر: أحد أبرز علماء الحاسوب في تصميم لغات البرمجة

يُعد فيليب لي وادلر (المولود في 8 أبريل 1956) عالم حاسوب أمريكي مقيم في المملكة المتحدة، اشتهر بمساهماته الجوهرية في تصميم لغات البرمجة ونظرية الأنواع. يشغل حالياً منصب الكرسي الشخصي لعلوم الحاسوب النظرية في مختبر أسس علوم الحاسوب بكلية المعلوماتية في جامعة إدنبرة.

المساهمات العلمية والتقنية

قدم وادلر مساهمات هائلة في النظرية الكامنة وراء البرمجة الوظيفية واستخدام المونادات (Monads). كما لعب دوراً محورياً في تصميم لغة هاسكل (Haskell)، وهي لغة برمجة وظيفية نقية، ولغة الاستعلامات التصريحية XQuery.

في عام 1984، قام بابتكار لغة البرمجة أورويل (Orwell). كما ساهم وادلر في إضافة الأنواع العامة (Generic Types) إلى لغة جافا 5.0، مما أحدث تحولاً في كيفية كتابة الأكواد في هذه اللغة الشهيرة. بالإضافة إلى ذلك، هو مؤلف ورقة بحثية بعنوان "Theorems for free!"، والتي فتحت آفاقاً واسعة للبحث في تحسين لغات البرمجة الوظيفية (ما يعرف بالبارامترية).

المسيرة التعليمية

تلقى وادلر تعليماً أكاديمياً رفيعاً، حيث حصل على:

• درجة البكالوريوس في الرياضيات من جامعة ستانفورد عام 1977.
• درجة الماجستير في علوم الحاسوب من جامعة كارنيجي ميلون عام 1979.
• درجة الدكتوراه في علوم الحاسوب من جامعة كارنيجي ميلون عام 1984، وكانت أطروحته بعنوان "Listlessness is better than laziness" تحت إشراف نيكو هابيرمان.

المسيرة المهنية والأكاديمية

تنقل وادلر بين عدة مؤسسات أكاديمية وبحثية مرموقة، منها:

• زمالة بحثية في مجموعة أبحاث البرمجة بجامعة أكسفورد (1983-1987).
• تدرج في المناصب الأكاديمية (محاضر، قارئ، ثم بروفيسور) في جامعة غلاسكو (1987-1996).
• عمل كعضو في الطاقم الفني في مختبرات بيل (Bell Labs) ومختبرات أفايا (Avaya Labs).
• منذ عام 2003، يشغل منصب بروفيسور لعلوم الحاسوب النظرية في جامعة إدنبرة.

العمل في مجال البلوكشين

منذ عام 2018، يشغل وادلر منصب زميل أبحاث أول وقائد منطقة لغات البرمجة في شركة IOHK (المعروفة حالياً بـ Input Output Global)، وهي الشركة الهندسية المسؤولة عن تطوير شبكة كاردانو (Cardano). وقد ساهم في تطوير لغة Plutus، وهي لغة عقود ذكية مكتملة تورينج ومكتوبة بلغة هاسكل.

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