رينهارد فيلهلم
رينهارد فيلهلم (بالإنجليزية: Reinhard Wilhelm) (من مواليد 5 يونيو 1946) وهو عالم كمبيوتر ألماني.
| رينهارد فيلهلم | |
|---|---|
| معلومات شخصية | |
| الجنسية |  |
تعديل مصدري - تعديل  | |
حياته وعمله
ولد ويلهلم في وستفاليا. درس الرياضيات والفيزياء والمنطق الرياضي في جامعة مونستر وعلوم الكمبيوتر في جامعة ميونخ التقنية وجامعة ستانفورد. أنهى درجة الدكتوراه في جامعة ميونخ التقنية في عام 1977. وفي عام 1978، حصل على أستاذ في جامعة سارلاند، حيث تولى رئاسة لغات البرمجة وإنشاء المترجمات حتى تقاعده في عام 2014. بالإضافة إلى ذلك، شغل فيلهلم منصب المدير العلمي في مركز لايبنيز للمعلوماتية في شلوس داغستول من بدايته في عام 1990 حتى عام 2014. واليوم هو بروفيسور فخري في جامعة سارلاند.
كان فيلهلم أحد مؤسسي الندوة الأوروبية للبرمجة (ESOP) والمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS). ترجع الرابطة الأوروبية للغات البرمجة (EAPLS) إلى فكرة تأسيس منظمة لتطوير البحث في لغات البرمجة وأنظمتها المتعددة. في عام 1998، قام بتأسيس AbsInt، وهو عرض بحثي يقدم برامج للتحقق من الخصائص الحرجة في الوقت للأنظمة المضمنة، والتي تستخدم مثلاً للحصول على شهادة من الأنظمة الحيوية الزمنية داخل إيرباص إيه 380.[1][2]
ركز بحث ويلهيلم على لغات البرمجة، وبناء المجمعات، وتحليل البرامج الثابتة، والأنظمة المضمنة في الوقت الفعلي، ولكنه شمل أيضًا الرسوم المتحركة وتصور الخوارزميات وهياكل البيانات. اكتشف فيلهلم الصلة بين اختيار الكود ونظرية الشجرة، وهو أمر ذو صلة بتوليد الكود باستخدام آليا الشجرة. وهو أحد المطورين المشاركين لمولدات MUG1 و MUG2 و OPTRAN. اقترح مع أولريتش مونكي تحليل تدفق القواعد النحوية كتعميم لتحليل تدفق البيانات. اخترع تحليل شكل شعبي يستند إلى منطق ثلاثي القيمة مع مولي ساغيف وتوم ريبس.
اشترك فيلهلم في تأليف كتاب "Compiler Construction" وهو متوفر باللغتين الألمانية والفرنسية.
أصبح فيلهلم زميلاً لـ رابطة مكائن الحوسبة ACM في عام 2000 لأبحاثه حول بناء المجمع وتحليل البرامج وعمله كمدير علمي لل LZI.[3] وقد منحته جامعة دارمشتات للتكنولوجيا ومعهد فراونهوفر للرسومات الحاسوبية ميدالية ألوين-فالتر في عام 2006.[4] وفي عام 2007، منحته وزارة التعليم والبحوث الفرنسية جائزة جاى لوساك-هومبولت عن مساهماته في العلوم وإنجازاته في التعاون الألماني الفرنسي في مجال البحث والتعليم. أصبح عضوًا في الأكاديمية الأوروبية للعلوم (أكاديميا يوروبا) في عام 2008. وفي أكتوبر من نفس العام حصل على درجة الدكتوراه الفخرية من الجامعة التقنية الراينية الفستفالية.[5] في ديسمبر، حصل على درجة الشرف من جامعة تارتو. وفي سبتمبر 2009، حصل على ميدالية كونراد زوسي عن إنجازاته في مجال البحث والتعليم فيما يتعلق ببناء المجمّعات، وتحليل البرامج في الوقت الحقيقي، وخدمته كمدير علمي في LZI / Schloss Dagstuhl. في عام 2010 حصل على وسام استحقاق جمهورية ألمانيا الاتحادية وجائزة الخدمة المميزة من رابطة مكائن الحوسبة.[6][7][8][9]
مراجع
- ^ AbsInt-Firmenprofil نسخة محفوظة 27 سبتمبر 2011 على موقع واي باك مشين.
- ^ EAPLS: What is EAPLS نسخة محفوظة 31 أغسطس 2018 على موقع واي باك مشين.
- ^ "نسخة مؤرشفة". مؤرشف من الأصل في 2007-12-14. اطلع عليه بتاريخ 2018-08-26.
- ^ Zwei Saarbrücker Informatiker in Academia Europaea aufgenommen نسخة محفوظة 16 ديسمبر 2014 على موقع واي باك مشين.
- ^ RWTH AACHEN UNIVERSITY - Rheinisch-Westfaelische Technische Hochschule - English نسخة محفوظة 19 مارس 2012 على موقع واي باك مشين.
- ^ "Deutsch-französischer Forschungspreis für Prof. Dr. Reinhard Wilhelm". مؤرشف من الأصل في 21 مارس 2009. اطلع عليه بتاريخ أكتوبر 2020.
{{استشهاد ويب}}: تحقق من التاريخ في:|تاريخ الوصول=(مساعدة) - ^ 89th Anniversary of UT as an Estonian-Language University | University of Tartu نسخة محفوظة 20 يوليو 2011 على موقع واي باك مشين.
- ^ "Archived copy". مؤرشف من الأصل في 2012-04-02. اطلع عليه بتاريخ 2011-09-29.
{{استشهاد ويب}}: صيانة الاستشهاد: الأرشيف كعنوان (link) - ^ Pressemeldung Informationsdienst Wissenschaft vom 7. September 2009 09:42 نسخة محفوظة 16 ديسمبر 2014 على موقع واي باك مشين.
وصلات خارجية
- Reinhard Wilhelm's home page
- Summer school talk by Reinhard Wilhelm on real-time analysis
- {{DBLP}} template missing ID and not present in Wikidata.
