Jayadev Misra
जयदेव मिश्रा एक भारतीय मूल के कंप्यूटर वैज्ञानिक हैं जिन्होंने अपना अधिकांश पेशेवर जीवन संयुक्त राज्य अमेरिका में बिताया है। वे कंप्यूटर विज्ञान में श्लमबर्गर सेंटेनियल चेयर एमेरिटस हैं और ऑस्टिन में टेक्सास विश्वविद्यालय में विश्वविद्यालय के विशिष्ट शिक्षण प्रोफेसर एमेरिटस हैं। पेशेवर रूप से उन्हें समवर्ती प्रोग्रामिंग के औपचारिक पहलुओं में उनके योगदान और सत्यापित सॉफ्टवेयर पहल (वी. एस. आई.) पर परियोजना, सर टोनी होर के साथ संयुक्त रूप से नेतृत्व करने के लिए जाना जाता है। शिक्षा और प्रारंभिक कैरियर मिश्रा को एक B.Tech प्राप्त हुआ। 1969 में आईआईटी कानपुर, भारत से इलेक्ट्रिकल इंजीनियरिंग में और 1972 में जॉन्स हॉपकिन्स विश्वविद्यालय, बाल्टीमोर, मैरीलैंड से इलेक्ट्रिकल इंजीनियरिंग और कंप्यूटर विज्ञान में पीएचडी। आई. बी. एम. के लिए एक संक्षिप्त अवधि के लिए काम करने के बाद, वे 1974 में ऑस्टिन में टेक्सास विश्वविद्यालय में शामिल हो गए, जहाँ वे अपने पूरे करियर के दौरान रहे, सिवाय एक वर्ष के विश्राम के जो उन्होंने स्टैनफोर्ड विश्वविद्यालय में बिताया था। उन्होंने 2015 में सक्रिय शिक्षण से संन्यास ले लिया। मिश्रा और के. मणि चांडी ने समवर्ती कंप्यूटिंग के क्षेत्र में कई महत्वपूर्ण योगदान दिए हैं। उन्होंने समवर्ती गणनाओं का वर्णन करने के लिए एक प्रोग्रामिंग संकेतन और एक तर्क विकसित किया, जिसे यूनिटी कहा जाता है। लेस्ली लैम्पोर्ट का कहना हैः "समवर्ती एल्गोरिदम का वर्णन करने के लिए पारंपरिक प्रोग्रामिंग भाषाओं से परे जाने की दिशा में पहला बड़ा कदम मिश्रा और चांडी की एकता थी" और "मिश्रा और चांडी ने तर्क की शैली को औपचारिक रूप देने के लिए प्रमाण नियम विकसित किए जिन्हें अपरिवर्तनीयता और गुणों की ओर ले जाने के लिए विकसित किया गया था। एकता ने इन प्रमाणों के लिए अब तक का सबसे सुरुचिपूर्ण सूत्रीकरण प्रदान किया। मिश्रा और चांडी (और, स्वतंत्र रूप से, रैंडी ब्रायंट) ने वितरित असतत-घटना अनुकरण के लिए एक रूढ़िवादी एल्गोरिदम विकसित किया है, जो अब आमतौर पर विभिन्न क्षेत्रों में उपयोग किया जाता है। उन्होंने संसाधन आवंटन (पीने वाले दार्शनिकों की समस्या), गतिरोध का पता लगाने, ग्राफ एल्गोरिदम और वितरित प्रणालियों में ज्ञान संचरण के सिद्धांत के लिए कई मौलिक एल्गोरिदम भी विकसित किए। डेविड ग्रिस के सहयोग से, मिश्रा ने हेवी-हिटर समस्या के लिए पहला एल्गोरिदम प्रस्तावित किया। मिश्रा ने समवर्ती स्मृति अभिगम के लिए स्वयंसिद्धियों का एक समूह प्रस्तावित किया जो रैखिकता के सिद्धांत को रेखांकित करता है। मिश्रा की सबसे हालिया शोध परियोजना, जिसे ओआरसी कहा जाता है, समवर्ती कंप्यूटिंग का एक बीजगणित विकसित करने का प्रयास करती है जो समवर्ती निष्पादन के लिए सॉफ्टवेयर के विभिन्न टुकड़ों को एकीकृत करने में मदद करेगी। पुरस्कार और सम्मान सदस्य, राष्ट्रीय अभियांत्रिकी अकादमी, 2018। हैरी एच. गुडे मेमोरियल अवार्ड, आई. ई. ई. ई., 2017। डॉक्टर होनोरिस कौसा, इकोले नॉर्मल सुपररीयर पेरिस-सैकले, कचान, फ्रांस, 2010। गुगेनहेम फैलोशिप, 1988। थॉमसन रॉयटर्स आई. एस. आई., 2004 द्वारा "अत्यधिक उद्धृत शोधकर्ता" के रूप में पहचाना गया। एसीएम फेलो, 1995। आई. ई. ई. ई. फेलो, 1992। प्रतिष्ठित पूर्व छात्र, आई. आई. टी. कानपुर, भारत, सदस्य, टी. ए. एम. ई. एस. टी. (द एकेडमी ऑफ मेडिसिन, इंजीनियरिंग एंड साइंस ऑफ टेक्सास), 2018। चयनित प्रकाशन प्रोग्रामिंग प्रैक्टिस में प्रभावी सिद्धांत, एसीएम बुक्स, 2023 समानांतर कार्यक्रम डिजाइन-एक फाउंडेशन (के. एम. के साथ)। चांडी), 1988 वितरित असतत-घटना अनुकरण, 1986 प्रक्रियाओं के नेटवर्क के प्रमाण (के. एम. के साथ। चांडी), 1981 वितरित गतिरोध का पता लगाना (के. एम. के साथ। चांडी और लौरा एम. हास), 1983 द ड्रिंकिंग फिलोसोफर्स प्रॉब्लम (के. एम. के साथ। चांडी), 1984 फाइंडिंग रिपीटेड एलिमेंट्स (डी. ग्रिस के साथ), 1982 कैसे प्रक्रियाएं सीखती हैं (के. एम. के साथ)। चांडी), 1985 द ऑर्क प्रोग्रामिंग लैंग्वेज (डी. किचिन, ए. क्वार्क और डब्ल्यू. कुक के साथ), 2009 एसिंक्रोनस हार्डवेयर सिस्टम में मेमोरी एक्सेस के लिए स्वयंसिद्ध, 1986 पावरलिस्टः समानांतर पुनरावृत्ति के लिए एक संरचना, 1994 सत्यापित सॉफ्टवेयरः सिद्धांत, उपकरण, एक बड़ी चुनौती परियोजना के प्रयोग दृष्टि (टोनी होर के साथ), 2008