जिनेट विंग

1993 में बारबरा लिस्కోవ के साथ मिलकर विकसित किया गया लिस्కోవ प्रतिस्थापन सिद्धांत, सॉफ्टवेयर इंजीनियरिंग पद्धति में एक मूलभूत योगदान बना हुआ है। 1956 में नेवार्क में जन्मी जिनेट विंग (Jeannette Wing) ने सैद्धांतिक कंप्यूटर विज्ञान और औद्योगिक अनुप्रयोग के बीच की खाई को पाटने में कई दशक बिताए हैं। उनका पेशेवर सफर अकादमिक जगत, सरकारी नीति और कॉर्पोरेट अनुसंधान प्रयोगशालाओं तक फैला हुआ है, जिसमें मुख्य रूप से प्रोग्रामिंग भाषाओं और औपचारिक विधियों पर ध्यान केंद्रित किया गया है।

अकादमिक आधार और अनुसंधान

विंग ने जून 1979 में रोनाल्ड रिवेस्ट और जॉन रीज़र के मार्गदर्शन में मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी से इलेक्ट्रिकल इंजीनियरिंग और कंप्यूटर साइंस में अपनी स्नातक और मास्टर की पढ़ाई पूरी की। उन्होंने 1983 में इसी संस्थान से जॉन गुट्टाग की देखरेख में कंप्यूटर साइंस में Ph.D. की उपाधि प्राप्त की। उनके शुरुआती संकाय पदों में 1982 से 1985 तक सदर्न कैलिफोर्निया विश्वविद्यालय शामिल था, जिसके बाद 1985 से 2012 तक कार्नेगी मेलन विश्वविद्यालय में उनका कार्यकाल रहा। कार्नेगी मेलन में अपने समय के दौरान, उन्होंने 2004–2007 और 2010–2012 की दो अवधियों में कंप्यूटर साइंस विभाग के प्रमुख के रूप में कार्य किया।

सार्वजनिक नीति और कॉर्पोरेट नेतृत्व

विश्वविद्यालय के शोध से परे, विंग ने प्रभावशाली प्रशासनिक भूमिकाएं निभाई हैं। उन्होंने 2007 और 2010 के बीच नेशनल साइंस फाउंडेशन में कंप्यूटर और सूचना विज्ञान और इंजीनियरिंग के लिए सहायक निदेशक के रूप में कार्य किया। जनवरी 2013 में, वह माइक्रोसॉफ्ट रिसर्च की कॉर्पोरेट वाइस प्रेसिडेंट के रूप में निजी क्षेत्र में चली गईं, जहां उन्होंने 30 जून 2017 तक वैश्विक प्रयोगशालाओं और अनुसंधान संबंधों का प्रबंधन किया। इसके बाद, वह कोलंबिया विश्वविद्यालय में डेटा साइंस इंस्टीट्यूट की अवानेसियन्स निदेशक बनीं और 1 सितंबर 2021 को विश्वविद्यालय में अनुसंधान के लिए कार्यकारी वाइस प्रेसिडेंट नियुक्त हुईं।

कम्प्यूटेशनल सोच में योगदान

विंग को कम्प्यूटेशनल सोच की वकालत के लिए जाना जाता है, जिसमें कंप्यूटर विज्ञान में आम एल्गोरिथम अमूर्त तकनीकों को विभिन्न विषयों पर लागू करना शामिल है। औपचारिक विधियों में उनका काम, विशेष रूप से Larch के संबंध में, ने प्रोग्रामिंग पद्धति को काफी प्रभावित किया है। वह Journal of the ACM और Formal Methods in System Design सहित कई संपादकीय बोर्डों में काम करती हैं। उनकी पेशेवर荣誉ों में 1998 में ACM फेलो बनना, 2003 में IEEE फेलो बनना और भरोसेमंद कंप्यूटिंग और औपचारिक विधियों में उनके काम के लिए 2024 में नेशनल एकेडमी ऑफ इंजीनियरिंग के लिए चुना जाना शामिल है।

त्वरित तथ्य

- जन्म: 1956, नेवार्क - शिक्षा: मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी - प्राथमिक क्षेत्र: कंप्यूटर विज्ञान, कृत्रिम बुद्धिमत्ता, प्रोग्रामिंग भाषा - प्रमुख भूमिका: कार्यकारी वाइस प्रेसिडेंट फॉर रिसर्च, कोलंबिया यूनिवर्सिटी - उल्लेखनीय विकास: लिस्కోవ प्रतिस्थापन सिद्धांत (1993) - ACM फेलो: 1998 - IEEE फेलो: 2003 - व्यक्तिगत रुचि: तांग सू डू में चौथी डिग्री ब्लैक बेल्ट

पाठकों द्वारा पूछे जाने वाले प्रश्न

### लिस्కోవ प्रतिस्थापन सिद्धांत क्या है?

1983 में बारबरा लिस्కోవ के साथ विकसित किया गया (संशोधन: 1993), यह प्रोग्रामिंग पद्धति में एक अवधारणा है कि कैसे एक सुपरक्लास की वस्तुओं को प्रोग्राम की शुद्धता को बदले बिना उसकी उपश्रेणियों की वस्तुओं से बदला जाना चाहिए।

### जिनेट विंग का कम्प्यूटेशनल सोच से क्या तात्पर्य है?

यह कंप्यूटर वैज्ञानिकों द्वारा उपयोग की जाने वाली समस्या-समाधान तकनीकों और एल्गोरिथम अमूर्तताओं को व्यक्त करने की प्रक्रिया को संदर्भित करता है ताकि उन्हें अन्य अकादमिक और व्यावहारिक विषयों में अनुसंधान और कार्यों पर लागू किया जा सके।