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 जन्म लंदन के जीवित लोग कंप्यूटर विज्ञान में इजरायली कंप्यूटर वैज्ञानिक इजरायल पुरस्कार प्राप्तकर्ता इजरायली यहूदी अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज के अध्येता, अमेरिकन एसोसिएशन फॉर द एडवांसमेंट ऑफ साइंस के अध्येता, एसोसिएशन फॉर कंप्यूटिंग मशीनरी के अध्येता, आई. ई. ई. ई. के सदस्य, रॉयल सोसाइटी के अध्येता, औपचारिक तरीके वाले लोग ग्राफ लोगों को आकर्षित करते हैं एकेडेमिया यूरोपिया सिस्टम के सदस्य जीवविज्ञानी सॉफ्टवेयर इंजीनियरिंग शोधकर्ता, यूनिफाइड मॉडलिंग लैंग्वेज, वीज़मैन इंस्टीट्यूट ऑफ साइंस के अकादमिक कर्मचारी, नेशनल एकेडमी ऑफ साइंसेज के विदेशी सहयोगी, चाइनीज एकेडमी ऑफ साइंसेज के विदेशी सहयोगी।