Deepak Kapur
दीपक कपूर (जन्म 24 अगस्त, 1950) न्यू मैक्सिको विश्वविद्यालय में कंप्यूटर विज्ञान विभाग में एक प्रतिष्ठित प्रोफेसर हैं। कपूर का जन्म अमृतसर में एक निम्न-मध्यम वर्गीय परिवार में हुआ था, जहाँ उनके पिता नवल किशोर कपूर एक कपड़े के दलाल थे और उनकी माँ बिमला वटी एक गृहिणी थीं। शिक्षा कपूर की प्रारंभिक शिक्षा सरकारी प्राथमिक विद्यालय, कटरा खज़ाना, अमृतसर में तीसरी कक्षा तक हुई। इसके बाद उन्हें विद्या भूषण प्राथमिक विद्यालय, अमृतसर में स्थानांतरित कर दिया गया। 5वीं कक्षा के बाद, उन्हें 11वीं कक्षा तक फिर से दयानंद एंग्लो वैदिक (डी. ए. वी.) उच्च माध्यमिक विद्यालय में स्कूल बदलना पड़ा। उन्हें 1966 में भारतीय प्रौद्योगिकी संस्थान (आई. आई. टी.) की प्रवेश परीक्षा में चुना गया था। उन्होंने 1971 में आई. आई. टी. कानपुर से इलेक्ट्रिक इंजीनियरिंग में स्नातक की डिग्री (B.Tech) और एम. टेक प्राप्त की। मई 1973 में आई. आई. टी. कानपुर से भी कंप्यूटर विज्ञान में डिग्री प्राप्त की। मार्च 1980 में एम. आई. टी. से स्नातक होने के बाद, कपूर जी. ई. कॉर्पोरेट रिसर्च एंड डेवलपमेंट (जी. ई. सी. आर. डी.), शेनेक्टेडी, एन. वाई. में एक शोध कर्मचारी के रूप में शामिल हुए, जहाँ उन्होंने दिसंबर 1987 तक काम किया। जी. ई. सी. आर. डी. में रहते हुए, वे रेंससेलेर पॉलिटेक्निक इंस्टीट्यूट (आर. पी. आई.) में एक सहायक प्रोफेसर थे, जहाँ उन्होंने शब्द पुनर्लेखन के आधार पर स्वचालित तर्क पर एक पाठ्यक्रम पढ़ाया। आर. पी. आई. में उन्होंने अब्देलिलाह कंडरी-रोडी और हान्ताओ झांग के शोध प्रबंधों में पी. एच. डी. की सह-देखरेख भी की। कपूर को 1988 में अल्बानी विश्वविद्यालय, न्यूयॉर्क राज्य विश्वविद्यालय में एक कार्यकाल पूर्ण प्रोफेसर के रूप में नियुक्त किया गया था। 1998 में कपूर को विशिष्ट शोध पुरस्कार मिला। कपूर दिसंबर 1998 में न्यू मैक्सिको विश्वविद्यालय (यू. एन. एम.) में कंप्यूटर विज्ञान विभाग के अध्यक्ष बने, एक पद जो उन्होंने जून 2006 तक संभाला। 2007 में कपूर को यू. एन. एम. में एक प्रतिष्ठित प्रोफेसर बनाया गया था। मई, 2010 में, कपूर को यू. एन. एम. के स्कूल ऑफ इंजीनियरिंग द्वारा वरिष्ठ संकाय अनुसंधान उत्कृष्टता पुरस्कार से सम्मानित किया गया था। कपूर ने मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी, मैक्स प्लैंक इंस्टीट्यूट फॉर इन्फॉर्मेटिक्स, टाटा इंस्टीट्यूट ऑफ फंडामेंटल रिसर्च, मुंबई, इंडियन इंस्टीट्यूट ऑफ टेक्नोलॉजी, दिल्ली, इंस्टीट्यूट ऑफ सॉफ्टवेयर (बीजिंग), चाइनीज एकेडमी ऑफ साइंसेज (आई. एस. सी. ए. एस.), इंस्टीट्यूट आई. एम. डी. ई. ए. सॉफ्टवेयर, मैड्रिड सहित अन्य संस्थानों में विजिटिंग नियुक्तियां की हैं। कपूर ने जी. ई. कॉरपोरेट रिसर्च एंड डेवलपमेंट, सैंडिया नेशनल लैब्स, वॉटसन और फुजित्सु लैब्स में आई. बी. एम. रिसर्च में सलाहकार के रूप में काम किया है। कपूर 1993-2007 से जर्नल ऑफ ऑटोमेटेड रीजनिंग के प्रधान संपादक थे। उन्होंने जर्नल ऑफ ऑटोमेटेड रीजनिंग, जर्नल ऑफ सिम्बोलिक कम्प्यूटेशन, जर्नल ऑफ लॉजिक एंड अलजेब्रा प्रोग्रामिंग, जर्नल ऑफ एप्लिकेबल अलजेब्रा इन इंजीनियरिंग, कम्युनिकेशन एंड कंप्यूटिंग सहित कई पत्रिकाओं के संपादकीय बोर्ड में काम किया है। कपूर ने लीबनिज इंटरनेशनल प्रोसीडिंग्स इन इन्फॉर्मेटिक्स के बोर्ड में भी काम किया। कपूर संयुक्त राष्ट्र विश्वविद्यालय-इंटरनेशनल इंस्टीट्यूट फॉर सॉफ्टवेयर टेक्नोलॉजी के साथ-साथ संयुक्त राष्ट्र विश्वविद्यालय-कम्प्यूटिंग एंड सोसाइटी के बोर्ड सदस्य थे। वह सैंडिया नेशनल लैबोरेटरीज के कंप्यूटर साइंस रिसर्च इंस्टीट्यूट और लॉस एलामोस कंप्यूटर साइंस इंस्टीट्यूट (एल. ए. सी. एस. आई.) के बोर्ड के सदस्य भी थे। कपूर को 2009 में हरब्रांड पुरस्कार मिलाः रिसर्च कपूर ने प्रोग्रामिंग भाषाओं, सॉफ्टवेयर और हार्डवेयर सत्यापन सहित औपचारिक तरीकों, स्वचालित प्रमेय प्रोविंग, शब्द पुनर्लेखन, प्रेरक प्रमेय प्रोविंग, एकीकरण सिद्धांत, स्वचालित तर्क एल्गोरिदम की जटिलता, ज्यामिति प्रमेय प्रोविंग, ग्रोबनर आधार, पैरामीट्रिक (व्यापक) ग्रोबनर आधार, बहुभिन्न डिक्सन परिणाम, अन्य विषयों के साथ 150 से अधिक शोध पत्र प्रकाशित किए हैं। कपूर ने सॉफ्टवेयर टूल रिव्राइट रूल लेबोरेटरी (आर. आर. एल.) विकसित किया, जो शब्द पुनर्लेखन और क्नुथ-बेंडिक्स पूर्णता प्रक्रिया और इसके सामान्यीकरण पर आधारित दुनिया का पहला प्रमेय कहावत है। प्रमेय कहावत ने समतुल्य, प्रथम क्रम और प्रेरक तर्क को मशीनीकृत किया। जी. ई. सी. आर. डी. में, कपूर ने जियोमीटर के विकास का अभिकल्पना और नेतृत्व किया, जो ज्यामिति प्रमेय साबित करने और कंप्यूटर दृष्टि के अनुप्रयोगों के लिए ग्रोबनर आधार और पैरामीट्रिक ग्रोबनर आधार पर आधारित ज्यामितीय और बीजगणितीय तर्क के लिए एक प्रणाली है। अल्बानी विश्वविद्यालय, स्टेट यूनिवर्सिटी ऑफ न्यूयॉर्क में, कपूर ने मुसर के साथ आर. आर. एल. के शीर्ष पर पदानुक्रमित प्रमाण प्रबंधन के लिए एक हाइपरटेक्स्ट आधारित प्रणाली, टेक्टन के विकास का नेतृत्व किया। इन प्रणालियों का उपयोग हार्डवेयर सत्यापन, विनिर्देशन विश्लेषण, ज्यामितीय प्रतिरूपण और कंप्यूटर दृष्टि के अनुप्रयोगों में किया गया है। चयनित प्रकाशन