Reinhard Wilhelm
رین ہارڈ ولہیم (پیدائش 5 جون 1946) ایک جرمن کمپیوٹر سائنسدان ہے۔ زندگی اور کام ولہیم آج فننٹروپ، ویسٹ فیلیا کی بلدیہ کے حصے میں پیدا ہوا تھا۔ انہوں نے مانسٹر یونیورسٹی میں ریاضی، طبیعیات اور ریاضیاتی منطق اور ٹیکنیکل یونیورسٹی میونخ اور اسٹینفورڈ یونیورسٹی میں کمپیوٹر سائنس کی تعلیم حاصل کی۔ انہوں نے 1977 میں ٹی یو میونخ میں پی ایچ ڈی مکمل کی۔ 1978 میں، انہوں نے سارلینڈ یونیورسٹی میں پروفیسر شپ حاصل کی، جہاں انہوں نے 2014 میں اپنی ریٹائرمنٹ تک پروگرامنگ زبانوں اور مرتب کی تعمیر کے لیے کرسی کی قیادت کی۔ اس کے علاوہ، ولہیم 1990 میں اپنے قیام سے لے کر 2014 تک Schloss Dagstuhl میں لیبنیز سینٹر فار انفارمیٹکس کے سائنسی ڈائریکٹر کے عہدے پر فائز رہے ہیں۔ آج وہ سارلینڈ یونیورسٹی میں پروفیسر ایمریٹس ہیں۔ ولہیم یورپی سمپوزیم آن پروگرامنگ (ای ایس او پی) اور یورپی جوائنٹ کانفرنسز آن تھیوری اینڈ پریکٹس آف سافٹ ویئر (ای ٹی اے پی ایس) کے شریک بانیوں میں سے ایک ہیں۔ یورپی ایسوسی ایشن فار پروگرامنگ لینگویجز (ای اے پی ایل ایس) پروگرامنگ زبانوں اور پروگرامنگ سسٹمز پر تحقیق کو آگے بڑھانے کے لیے ایک تنظیم تلاش کرنے کے اپنے خیال پر واپس چلا جاتا ہے۔ 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 برتھز لیونگ پیپل