مبدأ استبدال ليسكوف (Liskov substitution principle)، الذي تم تطويره جنباً إلى جنب مع باربرا ليسكوف (Barbara Liskov) في عام 1993، يظل إسهاماً أساسياً في منهجية هندسة البرمجيات. قضت جانيت وينغ (Jeannette Wing)، المولودة في نيوارك عام 1956، عقوداً في سد الفجوة بين علوم الحاسوب النظرية والتطبيق الصناعي. تمتد مسيرتها المهنية عبر الأكاديميا، والسياسة الحكومية، ومختبرات الأبحاث للشركات، مع التركيز بشكل أساسي على لغات البرمجة والأساليب الشكلية.
الأسس الأكاديمية والبحث
أكملت وينغ دراساتها الجامعية ومرحلة الماجستير في الهندسة الكهربائية وعلوم الحاسوب في معهد ماساتشوستس للتكنولوجيا في يونيو 1979 تحت إشراف رونالد ريفست و约翰·ريسر (John Reiser). وحصلت على درجة الدكتوراه في علوم الحاسوب من نفس المؤسسة في عام 1983، تحت إشراف جون غوتاغ. شملت مناصبها التدريسية المبكرة جامعة جنوب كاليفورنيا من عام 1982 حتى عام 1985، تلا ذلك فترة عمل في جامعة كارنيغي ميلون استمرت من عام 1985 إلى عام 2012. خلال فترة عملها في كارنيغي ميلون، شغلت منصب رئيسة قسم علوم الحاسوب خلال فترتين: 2004–2007 و2010–2012.
السياسة العامة والقيادة المؤسسية
إلى جانب الأبحاث الجامعية، شغلت وينغ أدواراً إدارية مؤثرة. فقد خدمت كمديرة مساعد لعلوم وهندسة الحاسوب والمعلومات في المؤسسة الوطنية للعلوم بين عامي 2007 و2010. في يناير 2013، انتقلت إلى القطاع الخاص بصفتها نائبة الرئيس للشركات في أبحاث مايكروسوفت (Microsoft Research)، حيث أدارت المختبرات العالمية وعلاقات البحث حتى 30 يونيو 2017. بعد ذلك، أصبحت مديرة أفانيسيانز لمعهد علوم البيانات في جامعة كولومبيا، وتم تعيينها نائبة رئيس تنفيذية للبحوث في الجامعة في 1 سبتمبر 2021.
الإسهامات في الفكر الحسابي
تُعرف وينغ بدفاعها عن التفكير الحسابي، والذي يتضمن تطبيق تقنيات التجريد الخوارزمي الشائعة في علوم الحاسوب على تخصصات متنوعة. لقد أثر عملها في الأساليب الشكلية، لا سيما فيما يتعلق بـ لارش (Larch)، بشكل كبير على منهجية البرمجة. وهي عضوة في العديد من هيئات التحرير، بما في ذلك مجلة جمعية آلات الحوسبة (Journal of the ACM) والأساليب الشكلية في تصميم الأنظمة (Formal Methods in System Design). تشمل تكريماتها المهنية حصولها على زمالة جمعية آلات الحوسبة (ACM) في عام 1998، وزمالة معهد مهندسي الكهرباء والإلكترونيات (IEEE) في عام 2003، وانتخابها لعضوية الاكاديمية الوطنية للهندسة في عام 2024 تقديراً لعملها في الحوسبة الجديرة بالثقة والأساليب الشكلية.
عشرون سؤالاً وثماني دقائق على الساعة، ونسبة مئوية مقاسة مقابل كل من خاضه. دون تسجيل.
اخوض اختبار الذكاء →حقائق سريعة
- المواليد: 1956، نيوارك - التعليم: معهد ماساتشوستس للتكنولوجيا - المجالات الأساسية: علوم الحاسوب، الذكاء الاصطناعي، لغة البرمجة - الدور الرئيسي: نائبة الرئيس التنفيذي للبحوث، جامعة كولومبيا - إنجاز بارز: مبدأ استبدال ليسكوف (1993) - زميلة ACM: 1998 - زميلة IEEE: 2003 - اهتمام شخصي: حزام أسود من الدرجة الرابعة في تانغ سو دو
أسئلة يطرحها القراء
### ما هو مبدأ استبدال ليسكوف؟
تم تطويره في عام 1993 مع باربرا ليسكوف (Barbara Liskov)، وهو مفهوم في منهجية البرمجة يتعلق بكيفية إمكانية استبدال كائنات الفئة الفائقة بكائنات فئاتها الفرعية دون تغيير صحة البرنامج.
### ماذا تقصد جانيت وينغ بالتفكير الحسابي؟
يشير إلى عملية التعبير عن تقنيات حل المشكلات والتجريدات الخوارزمية التي يستخدمها علماء الحاسوب بحيث يمكن تطبيقها على البحث والمهام في التخصصات الأكاديمية والعملية الأخرى.
