رينهارد فيلهلم (Reinhard Wilhelm) (من مواليد 5 يونيو 1946) وهو عالم كمبيوتر ألماني.
رينهارد فيلهلم | |
---|---|
(بالألمانية: Reinhard Wilhelm) | |
معلومات شخصية | |
الميلاد | 5 يونيو 1946 (74 سنة) |
الجنسية | |
عضو في | الأكاديمية الألمانية للعلوم ليوبولدينا، والأكاديمية الأوروبية[1]، ورابطة مكائن الحوسبة |
الحياة العملية | |
المدرسة الأم | جامعة مونستر جامعة ميونخ التقنية |
المهنة | عالم حاسوب[2]، وأستاذ جامعي |
اللغات | الألمانية |
موظف في | جامعة سارلاند |
الجوائز | |
حياته وعمله
ولد ويلهلم في وستفاليا. درس الرياضيات والفيزياء والمنطق الرياضي في جامعة مونستر وعلوم الكمبيوتر في جامعة ميونخ التقنية وجامعة ستانفورد. أنهى درجة الدكتوراه في جامعة ميونخ التقنية في عام 1977. وفي عام 1978، حصل على أستاذ في جامعة سارلاند، حيث تولى رئاسة لغات البرمجة وإنشاء المترجمات حتى تقاعده في عام 2014. بالإضافة إلى ذلك، شغل فيلهلم منصب المدير العلمي في مركز لايبنيز للمعلوماتية في شلوس داغستول من بدايته في عام 1990 حتى عام 2014. واليوم هو بروفيسور فخري في جامعة سارلاند.
كان فيلهلم أحد مؤسسي الندوة الأوروبية للبرمجة (ESOP) والمؤتمرات الأوروبية المشتركة حول نظرية وممارسة البرمجيات (ETAPS). ترجع الرابطة الأوروبية للغات البرمجة (EAPLS) إلى فكرة تأسيس منظمة لتطوير البحث في لغات البرمجة وأنظمتها المتعددة. في عام 1998، قام بتأسيس AbsInt، وهو عرض بحثي يقدم برامج للتحقق من الخصائص الحرجة في الوقت للأنظمة المضمنة، والتي تستخدم مثلاً للحصول على شهادة من الأنظمة الحيوية الزمنية داخل إيرباص إيه 380.[4][5]
ركز بحث ويلهيلم على لغات البرمجة، وبناء المجمعات، وتحليل البرامج الثابتة، والأنظمة المضمنة في الوقت الفعلي، ولكنه شمل أيضًا الرسوم المتحركة وتصور الخوارزميات وهياكل البيانات. اكتشف فيلهلم الصلة بين اختيار الكود ونظرية الشجرة، وهو أمر ذو صلة بتوليد الكود باستخدام آليا الشجرة. وهو أحد المطورين المشاركين لمولدات MUG1 و MUG2 و OPTRAN. اقترح مع أولريتش مونكي تحليل تدفق القواعد النحوية كتعميم لتحليل تدفق البيانات. اخترع تحليل شكل شعبي يستند إلى منطق ثلاثي القيمة مع مولي ساغيف وتوم ريبس.
اشترك فيلهلم في تأليف كتاب "Compiler Construction" وهو متوفر باللغتين الألمانية والفرنسية.
أصبح فيلهلم زميلاً لـ رابطة مكائن الحوسبة ACM في عام 2000 لأبحاثه حول بناء المجمع وتحليل البرامج وعمله كمدير علمي لل LZI.[6] وقد منحته جامعة دارمشتات للتكنولوجيا ومعهد فراونهوفر للرسومات الحاسوبية ميدالية ألوين-فالتر في عام 2006.[7] وفي عام 2007، منحته وزارة التعليم والبحوث الفرنسية جائزة جاى لوساك-هومبولت عن مساهماته في العلوم وإنجازاته في التعاون الألماني الفرنسي في مجال البحث والتعليم. أصبح عضوًا في الأكاديمية الأوروبية للعلوم (أكاديميا يوروبا) في عام 2008. وفي أكتوبر من نفس العام حصل على درجة الدكتوراه الفخرية من الجامعة التقنية الراينية الفستفالية.[8] في ديسمبر، حصل على درجة الشرف من جامعة تارتو. وفي سبتمبر 2009، حصل على ميدالية كونراد زوسي عن إنجازاته في مجال البحث والتعليم فيما يتعلق ببناء المجمّعات، وتحليل البرامج في الوقت الحقيقي، وخدمته كمدير علمي في LZI / Schloss Dagstuhl. في عام 2010 حصل على وسام استحقاق جمهورية ألمانيا الاتحادية وجائزة الخدمة المميزة من رابطة مكائن الحوسبة.[9][10][11][12]
مراجع
- https://www.ae-info.org/ae/User/Wilhelm_Reinhard
- وصلة : https://d-nb.info/gnd/133085082 — تاريخ الاطلاع: 25 يونيو 2015 — الرخصة: CC0
- https://awards.acm.org/award_winners/wilhelm_1243443#158
- AbsInt-Firmenprofil - تصفح: نسخة محفوظة 27 سبتمبر 2011 على موقع واي باك مشين.
- EAPLS: What is EAPLS - تصفح: نسخة محفوظة 31 أغسطس 2018 على موقع واي باك مشين.
- http://fellows.acm.org/fellow_citation.cfm?id=1243443&srt=all
- 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.
- 89th Anniversary of UT as an Estonian-Language University | University of Tartu - تصفح: نسخة محفوظة 20 يوليو 2011 على موقع واي باك مشين.
- "Archived copy". مؤرشف من الأصل في 02 أبريل 201229 سبتمبر 2011.
- 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
- Reinhard Wilhelm at الببليوغرافيا الرقمية ومشروع المكتبة Bibliography Server