Peter O'Hearn
पीटर विलियम ओ 'हर्न (जन्म 13 जुलाई 1963 को हैलिफ़ैक्स, नोवा स्कोटिया में), जो पहले मेटा में एक शोध वैज्ञानिक थे, लेसवर्क में एक प्रतिष्ठित इंजीनियर हैं और यूनिवर्सिटी कॉलेज लंदन (यू. सी. एल.) में कंप्यूटर विज्ञान के प्रोफेसर हैं। उन्होंने कार्यक्रम की शुद्धता के लिए औपचारिक तरीकों में महत्वपूर्ण योगदान दिया है। हाल के वर्षों में इन प्रगति को औद्योगिक सॉफ्टवेयर उपकरणों के विकास में नियोजित किया गया है जो बड़े औद्योगिक कोडबेस का स्वचालित विश्लेषण करते हैं। शिक्षा ओ 'हर्न ने डलहौजी विश्वविद्यालय, हैलिफ़ैक्स, नोवा स्कोटिया (1985) से कंप्यूटर विज्ञान में बीएससी की डिग्री प्राप्त की, इसके बाद क्वींस विश्वविद्यालय, किंग्स्टन, ओंटारियो, कनाडा से एमएससी (1987) और पीएचडी (1991) की डिग्री प्राप्त की। उनका शोध प्रबंध गैर-हस्तक्षेप के शब्दार्थः एक प्राकृतिक दृष्टिकोण पर था, जिसकी देखरेख रॉबर्ट डी. टेनेंट ने की थी। करियर और अनुसंधान ओ 'हर्न को पृथक्करण तर्क के लिए जाना जाता है, एक सिद्धांत जिसे उन्होंने जॉन सी. रेनॉल्ड्स के साथ विकसित किया जिसने कोड के बारे में तार्किक तर्क को मापने के लिए नए क्षेत्रों का पता लगाया। यह संसाधनों के लिए तर्क पर ओ 'हर्न और डेविड पिम के पूर्व शोध पर बनाया गया था, जिसे बंटेड लॉजिक कहा जाता है। स्टीफन ब्रूक्स के साथ, कार्नेगी मेलन विश्वविद्यालय, ओ 'हर्न ने समवर्ती पृथक्करण तर्क (सी. एस. एल.) का निर्माण किया, जिससे सिद्धांत का आगे विस्तार हुआ। टोनी होर ने कार्यक्रम सत्यापन की बड़ी चुनौती पर चर्चा करते हुए सीएसएल को "दो problems.concurrecy और ऑब्जेक्ट ओरिएंटेशन को हल करने" के रूप में वर्णित किया। उन्होंने अपने पूर्व डॉक्टरेट सलाहकार रॉबर्ट डी. टेनेंट के साथ ए. एल. जी. ओ. एल. के समान प्रोग्रामिंग भाषाओं का अध्ययन किया, जो ए. एल. जी. ओ. एल. जैसी भाषाओं की पुस्तक बन गई। पृथक्करण तर्क ने फेसबुक पर ओ 'हर्न की टीम द्वारा विकसित एक स्थिर कार्यक्रम विश्लेषण उपयोगिता, इन्फेर स्टेटिक एनालाइजर (फेसबुक इन्फेर) को जन्म दिया है। शिक्षाविदों में 20 से अधिक वर्षों के बाद, ओ 'हर्न ने 2013 में मोनोइडिक्स लिमिटेड के अधिग्रहण के साथ फेसबुक में काम करना शुरू किया, एक स्टार्टअप जिसकी उन्होंने सह-स्थापना की थी। अपनी स्थापना के बाद से, इन्फर ने फेसबुक इंजीनियरों को उत्पादन तक पहुंचने से पहले दसियों हज़ार बग को हल करने में सक्षम बनाया है। यह 2016 में खुला स्रोत था, और इसका उपयोग अमेज़ॅन इंक, स्पॉटिफाई, मोज़िला, उबर और अन्य द्वारा किया जाता है। 2017 में, ओ 'हर्न और टीम ने ओपन सोर्स रेसरडी खोला, जो एक स्वचालित स्थिर रेस स्थिति का पता लगाने वाला उपकरण है जो इन्फर प्लेटफॉर्म के हिस्से के रूप में समवर्ती सॉफ्टवेयर में संभावित समस्याओं को चिह्नित करने में लगने वाले समय को कम करता है। ओ 'हर्न 1990 से 1995 तक सिरैक्यूज़ विश्वविद्यालय, न्यूयॉर्क, संयुक्त राज्य अमेरिका में सहायक प्रोफेसर थे। वह 1996 से 1999 तक लंदन के क्वीन मैरी विश्वविद्यालय में कंप्यूटर विज्ञान में एक पाठक थे और फिर यूनिवर्सिटी कॉलेज लंदन में जाने तक क्वीन मैरी में एक पूर्ण प्रोफेसर थे। यू. सी. एल. में उन्हें रॉयल एकेडमी ऑफ इंजीनियरिंग और माइक्रोसॉफ्ट रिसर्च द्वारा प्रायोजित एक पीठ प्रदान की गई थी। 1997 में वे कार्नेगी मेलन विश्वविद्यालय में एक आगंतुक वैज्ञानिक थे और 2006 में वे माइक्रोसॉफ्ट रिसर्च कैम्ब्रिज में एक आगंतुक शोधकर्ता थे। वे अब लेसवर्क में एक प्रतिष्ठित इंजीनियर और यू. सी. एल. में एक प्रोफेसर के रूप में काम करते हुए अपना समय साझा करते हैं। पुरस्कार और सम्मान 2007 में, ओ 'हर्न को रॉयल सोसाइटी वोल्फसन रिसर्च मेरिट पुरस्कार प्रदान किया गया था। 2011 में, ओ 'हर्न और सामिन इश्तियाक को सबसे प्रभावशाली पी. ओ. पी. एल. पेपर पुरस्कार से सम्मानित किया गया। कार्नेगी मेलन विश्वविद्यालय के स्टीफन ब्रूक्स के साथ, वे समवर्ती पृथक्करण तर्क के आविष्कार के लिए 2016 के गोडेल पुरस्कार के सह-प्राप्तकर्ता थे। इसके अलावा 2016 में, उन्हें रॉयल एकेडमी ऑफ इंजीनियरिंग (एफ. आर. ई. एन. जी.) का फेलो चुना गया और उन्हें वार्षिक सी. ए. वी. (कंप्यूटर एडेड वेरिफिकेशन) पुरस्कार मिला। 2018 में, उन्हें रॉयल सोसाइटी (एफआरएस) का फेलो चुना गया, और उन्हें डलहौजी विश्वविद्यालय से मानद डॉक्टर ऑफ लॉ से सम्मानित किया गया। जनवरी 2019 में ओ 'हर्न को एक और सबसे प्रभावशाली पी. ओ. पी. एल. पेपर पुरस्कार से सम्मानित किया गया, जिसे उन्होंने तीन सहयोगियों के साथ साझा किया। इंस्टीट्यूट ऑफ इलेक्ट्रिकल एंड इलेक्ट्रॉनिक्स इंजीनियर्स (आई. ई. ई. ई.) ने अक्टूबर, 2021 में अपने वार्षिक पुरस्कार समारोह में ओ 'हर्न और उनके तीन फेसबुक सहयोगियों को अभ्यास के लिए आई. ई. ई. ई. साइबर सुरक्षा पुरस्कार प्रदान किया। संदर्भ बाहरी लिंक 1963 जन्म हैलिफ़ैक्स, नोवा स्कोटिया डलहौजी विश्वविद्यालय के पूर्व छात्र किंग्सटन में क्वींस विश्वविद्यालय के पूर्व छात्र इंग्लैंड में कनाडाई अप्रवासी ब्रिटिश कंप्यूटर वैज्ञानिक कनाडाई कंप्यूटर वैज्ञानिक औपचारिक तरीके लोग रॉयल सोसाइटी के कनाडाई अध्येता रॉयल अकादमी ऑफ इंजीनियरिंग के अध्येता सिरैक्यूज़ विश्वविद्यालय संकाय क्वीन मैरी विश्वविद्यालय के शिक्षाविद यूनिवर्सिटी कॉलेज लंदन के शिक्षाविद फेसबुक कर्मचारी गोडेल पुरस्कार विजेता रॉयल सोसाइटी वोल्फसन रिसर्च मेरिट पुरस्कार धारक