فيليب وادلر
فيليب لي وادلر (مواليد 8 أبريل 1956) عالم حاسوب أمريكي مقيم في المملكة المتحدة، اشتهر بإسهاماته في تصميم لغات البرمجة ونظرية الأنواع . يشغل منصب أستاذ كرسي علوم الحاسوب النظرية في مختبر أسس علوم الحاسوب بكلية المعلوماتية في جامعة إدنبرة . ساهم في وضع النظرية الكامنة وراء البرمجة الوظيفية [ 1 ] واستخدام المونادات ، وتصميم لغة البرمجة الوظيفية البحتة هاسكل [ 2 ] ولغة الاستعلام التصريحية إكس كويري . في عام 1984، ابتكر لغة أورويل . شارك وادلر في إضافة الأنواع العامة إلى جافا 5.0 [ 3 ] . وهو أيضًا مؤلف كتاب "نظريات مجانية!" [ 4 ]، وهو بحث أثار العديد من الدراسات حول تحسين لغات البرمجة الوظيفية (انظر أيضًا: البارامترية [ 5 ] ).
تعليم
حصل وادلر على درجة البكالوريوس في الرياضيات من جامعة ستانفورد عام 1977، ودرجة الماجستير في علوم الحاسوب من جامعة كارنيجي ميلون عام 1979. [ 6 ] أكمل دراسته للدكتوراه في علوم الحاسوب في جامعة كارنيجي ميلون عام 1984. وكانت أطروحته بعنوان "الكسل أفضل من الخمول"، وأشرف عليها نيكو هابرمان . [ 7 ] [ 8 ]
البحث والمسار الوظيفي
تتركز اهتمامات وادلر البحثية [ 9 ] [ 10 ] [ 11 ] في لغات البرمجة . [ 3 ] [ 12 ]
كان وادلر زميلًا باحثًا في مجموعة أبحاث البرمجة (التابعة لمختبر الحوسبة بجامعة أكسفورد ) وكلية سانت كروس، أكسفورد، خلال الفترة 1983-1987. [ 6 ] وتدرج في المناصب من محاضر إلى أستاذ مشارك ثم أستاذ في جامعة غلاسكو من عام 1987 إلى عام 1996. وكان وادلر عضوًا في الطاقم الفني في مختبرات بيل ، وشركة لوسنت تكنولوجيز (1996-1999)، ثم في مختبرات أفايا (1999-2003). ومنذ عام 2003، يشغل منصب أستاذ علوم الحاسوب النظرية في كلية المعلوماتية بجامعة إدنبرة . [ 13 ]
كان وادلر محررًا لمجلة البرمجة الوظيفية من عام 1990 إلى عام 2004.
يشغل وادلر منصب أستاذ علوم الحاسوب النظرية في مختبر أسس علوم الحاسوب بجامعة إدنبرة منذ عام 2003، كما يرأس قسم علوم الحاسوب النظرية. [ 14 ] في عام 2006، كان يعمل على لغة برمجة وظيفية جديدة لكتابة تطبيقات الويب ، تُسمى Links . [ 15 ] [ 16 ] أشرف على العديد من طلاب الدكتوراه حتى إتمام أطروحاتهم. [ 8 ] [ 17 ] [ 18 ] [ 19 ] وهو أيضًا عضو في مختبر تقنية البلوك تشين بالجامعة . [ 20 ] [ 21 ] يبلغ مؤشر هيرش (h-index) الخاص بوادلر 72، مع 26,864 استشهادًا في جوجل سكولار . [ 22 ]
منذ عام 2018، يشغل وادلر أيضًا منصب زميل باحث أول وقائد قسم لغات البرمجة في شركة IOHK (التي تُعرف الآن باسم Input Output Global)، وهي شركة هندسة تقنية البلوك تشين التي تُطوّر كاردانو . [ 23 ] وقد ساهم في العمل على بلوتوس، وهي لغة عقود ذكية كاملة تورينج لكاردانو مكتوبة بلغة هاسكل؛ ونظام دفتر الأستاذ UTXO ، والرموز الأصلية ، ونظام F في أغدا . [ 24 ] [ 25 ]
الجوائز والتكريمات
في عام ٢٠٠٣، مُنح وادلر جائزة أكثر الأبحاث تأثيرًا من بين الأبحاث المنشورة قبل عشر سنوات، وذلك من قِبل ندوة مبادئ لغات البرمجة . وقد أشارت الجائزة إلى بحثه "البرمجة الوظيفية الإجرائية"، وهو بحث شارك في تأليفه مع سيمون بيتون جونز عام ١٩٩٣. [ ٦ ] [ ٢٦ ] وفي عام ٢٠٠٥، انتُخب زميلًا في الجمعية الملكية في إدنبرة (FRSE). [ ٢٧ ] وفي عام ٢٠٠٧، انضم إلى زمالة جمعية آلات الحوسبة (ACM ). [ ٢٨ ] وانتُخب زميلًا في الجمعية الملكية (FRS) عام ٢٠٢٣. [ ٢٩ ] [ ٣٠ ]
مراجع
- ↑ "فيليب وادلر: سيرة ذاتية" . دار نشر أورايلي ميديا . تم الاطلاع عليه بتاريخ 20 مارس 2017 .
- ↑ هوداك، ب.؛ جونسون، ت.؛ كيبرتز، د.؛ نيخيل، ر.؛ بارتين، و.؛ بيترسون، ج.؛ بيتون جونز، س .؛ وادلر، ب .؛ بوتيل، ب.؛ فيربيرن، ج.؛ فاسيل، ج.؛ غوزمان، م.أ.م.؛ هاموند، ك.؛ هيوز، ج. (1992). "تقرير عن لغة البرمجة هاسكل". إشعارات ACM SIGPLAN . 27 (5): 1. doi : 10.1145/130697.130699 . S2CID 15516611 .
- 1 2 وادلر، فيليب ؛ نافتالين، موريس (2007). الأنواع العامة والمجموعات في جافا . سيباستوبول، كاليفورنيا: أورايلي. ISBN 978-0-596-52775-4.
- ↑ وادلر، ب. (1989). "نظريات مجانية!". وقائع المؤتمر الدولي الرابع حول لغات البرمجة الوظيفية وهندسة الحاسوب - FPCA '89 . ص 347. doi : 10.1145/99370.99404 . ISBN 978-0897913287. S2CID 5513047 .
- ↑ "الأستاذ فيليب وادلر: البرمجة الوظيفية في التمويل" على يوتيوب
- 1 2 3 "فيليب وادلر: السيرة الذاتية" (ملف PDF) . Homepages.inf.ed.ac.uk . تاريخ الاطلاع: 20 مارس 2017 .
- ↑ وادلر، فيليب لي (1984). عدم وجود قوائم أفضل من الكسل: خوارزمية تحوّل البرامج التطبيقية للتخلص من القوائم الوسيطة ( أطروحة دكتوراه). جامعة كارنيجي ميلون. OCLC 123317612. ProQuest 303342238 . (الاشتراك مطلوب)
- 1 2 فيليب وادلر في مشروع علم الأنساب الرياضي
- ↑ فيليب وادلر على خادم ببليوغرافيا DBLP
- ↑ منشورات فيليب وادلر المفهرسة بواسطة جوجل سكولار
- ↑ منشورات فيليب وادلر المفهرسة في قاعدة بيانات سكوبس الببليوغرافية. (الاشتراك مطلوب)
- ↑ بيرد، ريتشارد ميلر ؛ وادلر، فيليب (1998). مقدمة في البرمجة الوظيفية باستخدام هاسكل . نيويورك: برنتيس هول أوروبا. ISBN 978-0-13-484346-9.
- ↑ "فيليب وادلر" . Inf.ed.ac.uk. تم الاطلاع عليه بتاريخ 20 مارس 2017 .
- ↑ "فيليب وادلر" . inf.ed.ac.uk. جامعة إدنبرة. بدون تاريخ . تم الاطلاع عليه في 5 فبراير 2019 .
- ↑ "روابط" . مؤرشف من الأصل في 17 يونيو 2006. تم الاطلاع عليه في 22 يونيو 2006 .
- ↑ "الموقع الرسمي لـ Links lang" .
- ↑ هاتشينز، ديليسلي (2009). أنظمة الأنواع الفرعية النقية: نظرية أنواع للبرمجيات القابلة للتوسيع . ethos.bl.uk (أطروحة دكتوراه). جامعة إدنبرة. hdl : 1842/3937 . OCLC 781103005 .

- ↑ ليستر، ديفيد (1988). اختزال الرسم البياني التوافقي: تطابق وتطبيقاته . bodleian.ox.ac.uk (أطروحة دكتوراه). جامعة أكسفورد. ISBN 9780902928558. OCLC 937098100 .
- ↑ يالوب، جيريمي (2010). التجريد لبرمجة الويب . ethos.bl.uk (أطروحة دكتوراه). جامعة إدنبرة. hdl : 1842/4683 . OCLC 827264319 .

- ↑ "قائمة بأسماء الأشخاص المشاركين في مختبر تقنية البلوك تشين" . ed.ac.uk. جامعة إدنبرة. 14 ديسمبر 2018. تم الاطلاع عليه في 5 فبراير 2019 .
- ↑ وادلر، فيليب (بدون تاريخ). "الصفحة الرئيسية لفيليب وادلر" . homepages.inf.ed.ac.uk . الصفحات الرئيسية . تم الاطلاع عليه في 5 فبراير 2019 .
- ↑ "فيليب وادلر" . scholar.google.co.uk . جوجل سكولار. بدون تاريخ . تم الاطلاع عليه في 5 فبراير 2019 .
- ↑ وول، جيريمي (12 ديسمبر 2018). "IOHK تطلق أداتين جديدتين لتطوير العقود الذكية" . استثمر في تقنية البلوك تشين . تم الاطلاع عليه بتاريخ 25 مارس 2020 .
- ↑ وادلر، فيليب (11 ديسمبر 2018). "إطلاق لغة العقود الذكية لكاردانو في بلوتوسفيست" . مؤرشف من الأصل في 17 مارس 2020. تم الاطلاع عليه في 11 يونيو 2003 .
- ↑ "الأستاذ فيليب وادلر، أوراق بحثية - أبحاث معهد هوك" . معهد هوك . تم الاطلاع عليه بتاريخ 11 يونيو 2023 .
- ↑ بيتون جونز، إس إل ؛ وادلر، ب. (1993). "البرمجة الوظيفية الإجرائية". وقائع الندوة العشرين لجمعية ACM SIGPLAN-SIGACT حول مبادئ لغات البرمجة - POPL '93 . ص 71. CiteSeerX 10.1.1.53.2504 . doi : 10.1145/158511.158524 . ISBN 978-0897915601. S2CID 9751593 .
- ↑ " البروفيسور فيليب وادلر" . rse.org.uk. الجمعية الملكية في إدنبرة .
- ↑ صفحة جائزة زمالة ACM
- ↑ كوين، أنتوني (14 يوليو 2023). "وادلر يتبع عمالقة العلم" . تم الاطلاع عليه في 4 أغسطس 2023 .
- ↑ "فيليب وادلر" . Royalsociety.org . تم الاطلاع عليه بتاريخ 26 مايو 2023 .
الوسائط المتعلقة بفيليب وادلر على ويكيميديا كومنز
- مواليد عام 1956
- الناس الأحياء
- خريجو جامعة ستانفورد
- خريجو جامعة كارنيجي ميلون
- علماء الحاسوب الأمريكيين
- علماء الحاسوب البريطانيون
- أعضاء قسم علوم الحاسوب، جامعة أكسفورد
- زملاء كلية سانت كروس، أكسفورد
- أكاديميون من جامعة غلاسكو
- علماء في مختبرات بيل
- أكاديميون من جامعة إدنبرة
- البرمجة الوظيفية
- باحثو لغات البرمجة
- الأساليب الرسمية
- محررو المجلات الأكاديمية الأمريكية
- كتّاب علوم الحاسوب
- مؤلفو الكتب المدرسية الأمريكيون
- كتاب أمريكيون ذكور في مجال الأدب الواقعي
- زملاء الجمعية الملكية في إدنبرة
- زملاء الجمعية الملكية
- زملاء جمعية آلات الحوسبة
- المغتربون الأمريكيون في المملكة المتحدة
- الأشخاص المرتبطون بكاردانو
