बारबरा लिस्कॉव
बारबरा लिस्कोव (बारबरा जेन हुब्र्मेन, जन्म नवंबर 7, 1939) एक
अमेरिकन कंप्यूटर वैज्ञानिक है जो मैसाचुसेट्स इंस्टीट्यूट ऑफ टेक्नोलॉजी की इंजीनियरिंग स्कूल के इलेक्ट्रिकल इंजीनियरिंग और कंप्यूटर विज्ञान विभाग में एक प्रोफेसर है। वह संयुक्त राज्य अमेरिका में कंप्यूटर विज्ञान में डॉक्टरेट की उपाधि प्राप्त करने वाली पहली महिलाओं में से एक थीं और ट्यूरिंग अवार्ड विजेता थीं जिन्होंने लिस्कोव प्रतिस्थापन सिद्धांत विकसित किया था।
लिस्कोव का जन्म 7 नवंबर, 1939 को लॉस एंजिल्स, कैलिफ़ोर्निया में हुआ था । उन्होंने 1961 में कैलिफोर्निया विश्वविद्यालय, बर्कले में गणित में बीए किया। उनकी कक्षाओं में एक महिला सहपाठी थी, बाकी पुरुष थे। उन्होने स्नातक होने के बाद बर्कले और प्रिंसटन में स्नातक गणित कार्यक्रमों में आवेदन किया। उस समय प्रिंसटन महिला छात्रों को गणित में स्वीकार नहीं कर रहा था। उन्हे बर्कले में स्वीकार किया गया था, लेकिन अध्ययन के बजाय वह बोस्टन चली गई और मेटर कॉर्पोरेशन में काम करने लगी। वहाँ उन्हे कंप्यूटर और प्रोग्रामिंग में रुचि लगने लगी। उन्होंने हार्वर्ड में प्रोग्रामिंग की नौकरी करने से पहले एक साल के लिए माइटर में काम किया, जहाँ उन्होंने भाषा अनुवाद पर काम किया।
उन्होंने फिर स्कूल जाने का फैसला किया और बर्कले में फिर से आवेदन किया, लेकिन साथ-साथ में स्टैनफोर्ड और हार्वर्ड में भी आवेदन किया। 1968 में वह संयुक्त राज्य अमेरिका की पहली महिलाओं में से एक बन गईं जिन्हें कंप्यूटर विज्ञान विभाग से पीएचडी से सम्मानित किया गया। स्टैनफोर्ड में उन्होंने जॉन मैकार्थी के साथ काम किया और उन्हें कृत्रिम बुद्धिमत्ता में काम करने के लिए समर्थन दिया गया। उनकी पीएचडी थीसिस का विषय शतरंज एंडगेम खेलने के लिए एक कंप्यूटर प्रोग्राम था।
स्टैनफोर्ड से स्नातक होने के बाद, लिस्कोव शोध कर्मचारियों के रूप में काम करने के लिए मेटर लौट आई।
लिसकोव ने कई महत्वपूर्ण परियोजनाओं का नेतृत्व किया है, जिसमें वीनस ऑपरेटिंग सिस्टम, एक छोटी, कम लागत और इंटरैक्टिव टाइमशेयरिंग सिस्टम शामिल है; CLU का डिजाइन और कार्यान्वयन; Argus, वितरित कार्यक्रमों के कार्यान्वयन का समर्थन करने और वादा पाइपलाइनिंग की तकनीक का प्रदर्शन करने वाली पहली उच्च-स्तरीय भाषा; और थोर, ऑब्जेक्ट-ओरिएंटेड डेटाबेस सिस्टम। जीननेट विंग के साथ, उसने subtyping की एक विशेष परिभाषा विकसित की, जिसे आमतौर पर लिस्कोव प्रतिस्थापन सिद्धांत के रूप में जाना जाता है। वह MIT में प्रोग्रामिंग मेथोडोलॉजी ग्रुप का नेतृत्व करती हैं, जिसमें बीजान्टिन गलती सहिष्णुता और वितरित कंप्यूटिंग में एक वर्तमान शोध फोकस है।
लिस्कोव नेशनल एकेडमी ऑफ इंजीनियरिंग, नेशनल एकेडमी ऑफ साइंसेज के सदस्य और अमेरिकन एकेडमी ऑफ आर्ट्स एंड साइंसेज के एक सदस्य और कम्प्यूटिंग मशीनरी (एसीएम) एसोसिएशन की सदस्य हैं । 2002 में, उन्हें एमआईटी में शीर्ष महिला संकाय सदस्यों में से एक के रूप में मान्यता दी गई थी, और अमेरिका में विज्ञान में शीर्ष 50 संकाय में से एक पहचाना गया था। 2002 में, "डिस्कवर" पत्रिका ने विज्ञान में 50 सबसे महत्वपूर्ण महिलाओं में से एक के रूप में लिस्कोव को मान्यता दी। ।
2004 में, बारबरा लिस्कॉव ने "प्रोग्रामिंग भाषाओं, प्रोग्रामिंग पद्धति और वितरित प्रणालियों के लिए मौलिक योगदान" के लिए जॉन वॉन न्यूमैन मेडल जीता। 19 नवंबर 2005 को, बारबरा लिस्कोव और डोनाल्ड ई. नुथ को ETH Honorary Doctorate से सम्मानित किया गया। ETH ज्यूरिख की प्रतिष्ठित बोलचाल श्रृंखला में लिस्कोव और नुथ को भी चित्रित किया गया था। 2018 में उन्हें यूनिवर्सिटेड पोलितेसिका डे मैड्रिड द्वारा डॉक्टर ऑनोरिस कोसा के रूप में सम्मानित किया गया।
बारबरा लिस्कोव तीन पुस्तकों और एक सौ से अधिक तकनीकी पत्रों की लेखिका हैं।
1970 में उन्होने नेथन लिस्कोव से शादी की। उनके बेटे, मोसेस लिस्कोव का जन्म 1975 में हुआ था।