David Harel
ڈیوڈ ہیرل (پیدائش 12 اپریل 1950) ایک کمپیوٹر سائنسدان ہیں، جو اس وقت اسرائیل اکیڈمی آف سائنسز اینڈ ہیومینٹیز کے صدر کے طور پر خدمات انجام دے رہے ہیں۔ وہ 1980 سے اسرائیل میں ویزمین انسٹی ٹیوٹ آف سائنس کی فیکلٹی میں ہیں، اور ریاضی کے ولیم سوسمین پروفیسر چیئر رکھتے ہیں۔ لندن، انگلینڈ میں پیدا ہوئے، وہ سات سال تک انسٹی ٹیوٹ میں فیکلٹی آف میتھمیٹکس اینڈ کمپیوٹر سائنس کے ڈین رہے۔ سوانح عمری ہیرل متحرک منطق، کمپیوٹیبلٹی، ڈیٹا بیس تھیوری، سافٹ ویئر انجینئرنگ اور حیاتیاتی نظاموں کی ماڈلنگ پر اپنے کام کے لیے مشہور ہیں۔ 1980 کی دہائی میں انہوں نے ری ایکٹیو سسٹمز کی وضاحت اور پروگرامنگ کے لیے اسٹیٹ چارٹس کی گرافیکل زبان ایجاد کی، جسے یو ایم ایل معیار کے حصے کے طور پر اپنایا گیا ہے۔ 1990 کی دہائی کے آخر سے انہوں نے اس طرح کے نظاموں کے پروگرامنگ کے لیے منظر نامے پر مبنی نقطہ نظر پر توجہ مرکوز کی ہے، جسے لائیو سیکوینس چارٹس کی ان کی مشترکہ ایجاد (ڈبلیو ڈیم کے ساتھ) نے شروع کیا تھا۔ انہوں نے کمپیوٹر سائنس کے نمائشی اکاؤنٹس شائع کیے ہیں، جیسے کہ ان کی ایوارڈ یافتہ 1987 کی کتاب "الگورتھمکس: دی اسپرٹ آف کمپیوٹنگ" اور ان کی 2000 کی کتاب "کمپیوٹرز لمیٹڈ: واٹ دی ریلی کینٹ ڈو"، اور اسرائیلی ریڈیو اور ٹیلی ویژن کے لیے کمپیوٹر سائنس پر سیریز پیش کی ہے۔ انہوں نے دیگر متنوع موضوعات پر بھی کام کیا ہے، جیسے گراف لے آؤٹ، کمپیوٹر سائنس کی تعلیم، حیاتیاتی ماڈلنگ اور بو کا تجزیہ اور مواصلات۔ ہیرل نے 1976 اور 1978 کے درمیان ایم آئی ٹی میں پی ایچ ڈی مکمل کی۔ 1987 میں، انہوں نے سافٹ ویئر کمپنی آئی-لاجیکس کی مشترکہ بنیاد رکھی، جو 2006 میں آئی بی ایم کا حصہ بن گئی۔ انہوں نے کینورابڈائٹس ایلیگنس نیماتوڈ کا ایک مکمل کمپیوٹر ماڈل بنانے کی وکالت کی ہے، جو پہلا ملٹی سیلولر جاندار تھا جس کا جینوم مکمل طور پر ترتیب دیا گیا تھا۔ اس طرح کے ماڈل کی حتمی تکمیل اس کے ٹورنگ ٹیسٹ کے تازہ ترین ورژن پر منحصر ہے۔ وہ اے سی ایم، آئی ای ای ای، اے اے اے ایس، اور ای اے ٹی سی ایس کے فیلو اور کئی بین الاقوامی اکیڈمیوں کے رکن ہیں۔ ہیرل اسرائیل میں امن اور انسانی حقوق کی متعدد تنظیموں میں سرگرم ہے۔ ایوارڈز اور اعزازات 1986 سٹیونز ایوارڈ برائے سافٹ ویئر ڈویلپمنٹ میتھڈز 1992 اے سی ایم کارلسٹروم آؤٹ سٹینڈنگ ایجوکیشن ایوارڈ 1994 اے سی ایم فیلو 1995 آئی ای ای ای فیلو 2004 اسرائیل پرائز، کمپیوٹر سائنس کے لیے 2005 ڈاکٹر آنورس کاسا، یونیورسٹی آف رینس، فرانس 2006 اے سی ایم سگسوفٹ آؤٹ سٹینڈنگ ریسرچ ایوارڈ 2006 ممبر آف دی اکیڈمیا یوروپیا 2006 ڈاکٹر (لورا) آنورس کاسا، یونیورسٹی آف میلانو بیکوکا، 18 مئی 2006 فیلو آنورس کاسا، اوپن یونیورسٹی آف اسرائیل 2007 اے سی ایم سافٹ ویئر سسٹم ایوارڈ 2010 ایمیٹ پرائز 2010 ممبر آف دی اسرائیل اکیڈمی آف سائنسز اینڈ ہیومینٹیز 2012 ڈاکٹر آنورس کاسا، آئنڈھوون یونیورسٹی آف ٹیکنالوجی، نیدرلینڈز 2014 انٹرنیشنل ممبر آف دی یو ایس نیشنل اکیڈمی آف انجینئرنگ 2014 2020 فیلو آف دی رائل سوسائٹی (ایف آر ایس) 2021 چینی اکیڈمی آف سائنسز کے غیر ملکی رکن 2023 ہارلان ڈی ملز ایوارڈ یہ بھی دیکھیں اسرائیل انعام یافتہ افراد کی فہرست اسرائیل اکیڈمی آف سائنسز اینڈ ہیومینٹیز کے اراکین حوالہ جات بیرونی روابط ویزمین انسٹی ٹیوٹ آف سائنس میں ڈیوڈ ہیرل کا ہوم پیج۔ اسرائیل اکیڈمی آف سائنسز اینڈ ہیومینٹیز میں ڈیوڈ ہیرل کا صفحہ۔ 1950 پیدائشیں لندن کے زندہ لوگ کمپیوٹر سائنسز میں اسرائیلی کمپیوٹر سائنس دان اسرائیل انعام وصول کنندگان اسرائیلی یہودی فیلوز آف دی امریکن اکیڈمی آف آرٹس اینڈ سائنسز فیلوز آف دی امریکن ایسوسی ایشن فار دی ایڈوانسمنٹ آف سائنس فیلوز آف دی ایسوسی ایشن فار کمپیوٹنگ مشینری فیلوز آف دی رائل سوسائٹی کے آئی ای ای ای فیلوز رسمی طریقے لوگ گراف ڈرائنگ لوگوں کے اراکین اکیڈمیا یوروپیا سسٹمز کے ماہر حیاتیات سافٹ ویئر انجینئرنگ محققین یونیفائیڈ ماڈلنگ لینگویج ویزمین انسٹی ٹیوٹ آف سائنس کا تعلیمی عملہ نیشنل اکیڈمی آف سائنسز کے غیر ملکی ساتھی نیشنل اکیڈمی آف انجینئرنگ کے غیر ملکی ساتھی چینی اکیڈمی آف سائنسز کے غیر ملکی ممبران