Reinhard Wilhelm
रेनहार्ड विल्हेम (जन्म 5 जून, 1946) एक जर्मन कंप्यूटर वैज्ञानिक हैं। जीवन और कार्य विल्हेम का जन्म आज फिनेंट्रॉप, वेस्टफेलिया की नगरपालिका के हिस्से में हुआ था। उन्होंने मुंस्टर विश्वविद्यालय में गणित, भौतिकी और गणितीय तर्क और तकनीकी विश्वविद्यालय म्यूनिख और स्टैनफोर्ड विश्वविद्यालय में कंप्यूटर विज्ञान का अध्ययन किया। उन्होंने 1977 में टीयू म्यूनिख में अपनी पीएचडी पूरी की। 1978 में, उन्होंने सारलैंड विश्वविद्यालय में प्रोफेसरशिप प्राप्त की, जहाँ उन्होंने 2014 में अपनी सेवानिवृत्ति तक प्रोग्रामिंग भाषाओं और संकलक निर्माण के लिए अध्यक्ष का नेतृत्व किया। इसके अलावा, विल्हेम ने 1990 में अपनी स्थापना से 2014 तक श्लॉस डागस्टुहल में लीबनिज़ सेंटर फॉर इन्फॉर्मेटिक्स के वैज्ञानिक निदेशक का पद संभाला है। आज वे सारलैंड विश्वविद्यालय में प्रोफेसर एमेरिटस हैं। विल्हेम प्रोग्रामिंग (ईएसओपी) पर यूरोपीय संगोष्ठी और सॉफ्टवेयर के सिद्धांत और अभ्यास (ईटीएपीएस) पर यूरोपीय संयुक्त सम्मेलनों के सह-संस्थापकों में से एक हैं। यूरोपियन एसोसिएशन फॉर प्रोग्रामिंग लैंग्वेजेज (ई. ए. पी. एल. एस.) प्रोग्रामिंग भाषाओं और प्रोग्रामिंग प्रणालियों पर अनुसंधान को आगे बढ़ाने के लिए एक संगठन स्थापित करने के अपने विचार पर वापस जाता है। 1998 में, उन्होंने एब्सइंट की स्थापना की, एक शोध स्पिन-ऑफ जो अमूर्त व्याख्या के आधार पर सॉफ्टवेयर-गुणवत्ता आश्वासन उपकरण प्रदान करता है, उनमें से वास्तविक समय की आवश्यकताओं के सत्यापन के लिए उपकरण, उदाहरण के लिए एयरबस ए380 के अंदर समय-महत्वपूर्ण एम्बेडेड सिस्टम के प्रमाणन के लिए उपयोग किया जाता है। विल्हेम का शोध प्रोग्रामिंग भाषाओं, संकलक निर्माण, स्थिर कार्यक्रम विश्लेषण और अंतर्निहित वास्तविक समय प्रणालियों पर केंद्रित है, लेकिन इसमें एनीमेशन और एल्गोरिदम और डेटा संरचनाओं का दृश्य भी शामिल है। विल्हेम ने कोड चयन और नियमित ट्री ऑटोमेटा के सिद्धांत के बीच संबंधों की खोज की, जो ट्री ऑटोमेटा का उपयोग करके कोड बनाने के लिए प्रासंगिक है। वह एम. यू. जी. 1, एम. यू. जी. 2 और ओ. पी. टी. आर. ए. एन. संकलक जनरेटर के सह-विकासकर्ताओं में से एक हैं, जो विशेषता व्याकरण पर आधारित हैं। उलरिच मोन्क के साथ मिलकर, उन्होंने अंतर-प्रक्रियात्मक डेटा प्रवाह विश्लेषण के सामान्यीकरण के रूप में व्याकरण प्रवाह विश्लेषण का प्रस्ताव रखा। उन्होंने मूली सागिव और टॉम रेप्स के साथ मिलकर तीन-मूल्यवान तर्क पर आधारित एक लोकप्रिय आकार विश्लेषण का आविष्कार किया। विल्हेम पुस्तक कंपाइलर कंस्ट्रक्शन के सह-लेखक हैं, जो न केवल अनिवार्य भाषाओं के लिए, बल्कि वस्तु-उन्मुख, कार्यात्मक और तार्किक के लिए भी संकलक सिखाता है और सैद्धांतिक नींव पर जोर देता है। यह जर्मन और फ्रेंच में भी उपलब्ध है। विल्हेम 2000 में संकलक निर्माण और कार्यक्रम विश्लेषण पर अपने शोध और एलजेडआई के वैज्ञानिक निदेशक के रूप में अपने काम के लिए एसीएम के एक साथी बन गए। टीयू डार्मस्टेड और टीयू ने उन्हें 2006 में एल्विन-वाल्थेर पदक से सम्मानित किया। 2007 में फ्रांसीसी शिक्षा और अनुसंधान मंत्रालय ने उन्हें विज्ञान में उनके योगदान और अनुसंधान और शिक्षा में जर्मन-फ्रांसीसी सहयोग में उनकी उपलब्धियों के लिए गे-लुसाक-हम्बोल्ट पुरस्कार से सम्मानित किया। वे 2008 में यूरोपीय विज्ञान अकादमी (एकेडेमिया यूरोपिया) के सदस्य बने। उसी वर्ष अक्टूबर में उन्हें आर. डब्ल्यू. टी. एच. आचेन की मानद डॉक्टरेट से सम्मानित किया गया। दिसंबर में, उन्होंने तारतू विश्वविद्यालय की मानद उपाधि प्राप्त की। सितंबर 2009 में, उन्हें संकलक निर्माण, कार्यक्रमों के वास्तविक समय विश्लेषण और LZI/Schloss Dagstuhl के वैज्ञानिक निदेशक के रूप में उनकी सेवा के संबंध में अनुसंधान और शिक्षा में उनकी उपलब्धियों के लिए कोनराड ज़्यूस पदक से सम्मानित किया गया था। 2010 में उन्हें संघीय गणराज्य जर्मनी के क्रॉस ऑफ द ऑर्डर ऑफ मेरिट और एसीएम विशिष्ट सेवा पुरस्कार से सम्मानित किया गया था। 2013 में उन्हें जर्मन राष्ट्रीय अकादमी लियोपोल्डिना में स्वीकार किया गया था। उन्हें निष्पादन समय सीमा पर उनके शोध के दीर्घकालिक प्रभाव के लिए अंतर्राष्ट्रीय सम्मेलन ESWEEK 2019 में टेस्ट-ऑफ-टाइम पुरस्कार मिला। 2020 में, रियल टाइम सिस्टम पर आई. ई. ई. ई. तकनीकी समिति ने उन्हें अपने उत्कृष्ट तकनीकी उपलब्धि और नेतृत्व पुरस्कार से सम्मानित किया। 2021 में, उन्हें "डब्ल्यू. सी. ई. टी. उपकरणों के डिजाइन और परिणामों पर प्रोसेसर वास्तुकला का प्रभाव" लेख के लिए रियल-टाइम सिस्टम (टी. सी. आर. टी. एस.) पर आई. ई. ई. ई. तकनीकी समिति का टेस्ट-ऑफ-टाइम पुरस्कार मिला। पुस्तकों की सूची जैक्स लोएक्स, कर्ट मेहलहॉर्न, रेनहार्ड विल्हेमः प्रोग्रामिंग भाषाओं की नींव 1989 रेनहार्ड विल्हेमः सूचना विज्ञान-10 साल पहले। 10 साल आगे। स्प्रिंगर 2001 रीनहार्ड विल्हेम, हेल्मुट सीडलः कम्पाइलर डिजाइनः वर्चुअल मशीन्स, स्प्रिंगर 2011 हेल्मुट सीडल, रीनहार्ड विल्हेम, सेबेस्टियन हैकः कम्पाइलर डिजाइनः एनालिसिस एंड ट्रांसफॉर्मेशन, स्प्रिंगर 2011 हेल्मुट सीडल, रीनहार्ड विल्हेम, सेबेस्टियन हैकः कम्पाइलर डिजाइनः सिंटैक्टिक एंड सिमेंटिक एनालिसिस, स्प्रिंगर 2011 रीनहार्ड विल्हेमः आइंसिक्टन आइंज़ इन्फॉर्मेटिकर्स वॉन गेरिंगम वर्स्टैंडे-ग्लोसेन ऑस डेम इन्फॉर्मेटिक स्पेकट्रम। स्प्रिंगर फचमेडियेन, वीसबाडेन 2020,। रीनहार्ड विल्हेमः ऑटोपायलटन, तालिबान और फ्रेडरिकस्टैड्टपालास्टः न्यू आइंसिचटेन इनफॉर्मैटिकर्स व गेरिंजम वर्स्टैंड। स्वतंत्र रूप से 2022 में प्रकाशित। साहित्य थॉमस रेप्स, मूली सागिव, जोर्ग बाउरः रेनहार्ड विल्हेम के काम की प्रशंसा। कार्यक्रम विश्लेषण और संकलन, सिद्धांत और अभ्यास (स्प्रिंगर, 2007), व्याख्यान नोट्स इन कंप्यूटर साइंस खंड 4444। संदर्भ बाहरी लिंक वास्तविक समय के विश्लेषण पर रेनहार्ड विल्हेम का होम पेज समर स्कूल टॉक गणित वंशावली परियोजना में प्रवेश ओल्पे (जिला) जर्मन कंप्यूटर वैज्ञानिक तकनीकी विश्वविद्यालय म्यूनिख के पूर्व छात्र सारलैंड विश्वविद्यालय के अकादमिक कर्मचारी संघीय गणराज्य जर्मनी के क्रॉस ऑफ द ऑर्डर ऑफ मेरिट के प्राप्तकर्ता एसोसिएशन फॉर कंप्यूटिंग मशीनरी के अध्येता 1946 जन्म जीवित लोग