باربرا ليسكوف

باربرا جين ليسكوف ( اسمها قبل الزواج هوبرمان  ؛ ولدت في 7 نوفمبر 1939) عالمة حاسوب أمريكية قدمت إسهامات رائدة في لغات البرمجة والحوسبة الموزعة . تشمل أعمالها البارزة تقديم أنواع البيانات المجردة ومبدأ تجريد البيانات المصاحب لها ، بالإضافة إلى مبدأ استبدال ليسكوف ، الذي يطبق هذه الأفكار على البرمجة كائنية التوجه ، والتصنيف الفرعي ، والوراثة . وقد حاز عملها على جائزة تورينج لعام 2008 ، وهي أعلى جائزة في علوم الحاسوب.

تُعدّ ليسكوف من أوائل النساء الحاصلات على درجة الدكتوراه في علوم الحاسوب في الولايات المتحدة، وثاني امرأة تحصل على جائزة تورينج. وهي تشغل حاليًا منصب أستاذة في معهد ماساتشوستس للتكنولوجيا وأستاذة فورد للهندسة فيه . ^{[ 2 ] [ 3 ]}

وُلدت ليسكوف في 7 نوفمبر 1939 في لوس أنجلوس، كاليفورنيا، ^{[ 4 ]} وهي الابنة الكبرى لجين (ني ديكهوف) وموسى هوبرمان، من بين أربعة أبناء. ^{[ 5 ]} حصلت على درجة البكالوريوس في الرياضيات مع تخصص فرعي في الفيزياء من جامعة كاليفورنيا، بيركلي عام 1961. في بيركلي، لم يكن لديها سوى زميلة واحدة أخرى في تخصصها. ^{[ 6 ]} تقدمت بطلبات الالتحاق ببرامج الدراسات العليا في الرياضيات في بيركلي وبرينستون . في ذلك الوقت، لم تكن برينستون تقبل الطالبات في الرياضيات. ^{[ 7 ]} قُبلت في بيركلي، لكنها انتقلت بدلاً من ذلك إلى بوسطن وبدأت العمل في مؤسسة MITRE ، حيث نما لديها اهتمام بالحاسوب والبرمجة. عملت في MITRE لمدة عام قبل أن تلتحق بوظيفة برمجة في جامعة هارفارد، حيث عملت في مجال ترجمة اللغات. ^{[ 7 ]}

ثم قررت العودة إلى الدراسة، فتقدمت بطلب التحاق إلى جامعة بيركلي، وكذلك إلى جامعتي ستانفورد وهارفارد. وفي مارس 1968، أصبحت من أوائل النساء في الولايات المتحدة اللواتي حصلن على درجة الدكتوراه من قسم علوم الحاسوب في جامعة ستانفورد . ^{[ 8 ] [ 9 ] [ 10 ]} في ستانفورد، عملت مع جون مكارثي ، وتلقت الدعم في أبحاثها في مجال الذكاء الاصطناعي . ^{[ 7 ]} كان موضوع أطروحتها للدكتوراه برنامجًا حاسوبيًا للعب نهايات مباريات الشطرنج ، والذي طورت من أجله خوارزمية "القاتل" المهمة . ^{[ 11 ]}

بعد تخرجه من جامعة ستانفورد، عاد ليسكوف إلى شركة ميتري للعمل كباحث. ^{[ 2 ]}

قادت ليسكوف العديد من المشاريع الهامة، بما في ذلك نظام التشغيل فينوس، وهو نظام صغير الحجم ومنخفض التكلفة لتقاسم الوقت ؛ وتصميم وتنفيذ لغة CLU ؛ ولغة أرجوس ، وهي أول لغة برمجة عالية المستوى تدعم تنفيذ البرامج الموزعة وتُظهر تقنية تسلسل الوعود ؛ ونظام ثور، وهو نظام قواعد بيانات كائني التوجه . وقد طورت، بالتعاون مع جانيت وينغ ، تعريفًا خاصًا للتصنيف الفرعي ، يُعرف باسم مبدأ استبدال ليسكوف . وترأس ليسكوف مجموعة منهجية البرمجة في معهد ماساتشوستس للتكنولوجيا ، حيث يركز بحثها الحالي على تحمل الأخطاء البيزنطية والحوسبة الموزعة . ^{[ 3 ]} وكانت عضوًا في لجنة التحكيم الافتتاحية للهندسة وعلوم الحاسوب لجائزة إنفوسيس عام 2009. ^{[ 12 ]} وقد أثر تصميم ليسكوف وتطويرها للغتي CLU وأرجوس لاحقًا على العديد من لغات البرمجة المعروفة مثل جافا، وسي++، وسي#، وآدا. ^{[ 13 ]}

كان لصياغة ليسكوف لمبدأ استبدال ليسكوف (LSP) تأثيرٌ بالغٌ على نظرية هندسة البرمجيات وتطبيقاتها العملية. وقد أصبح هذا المبدأ مفهومًا أساسيًا في تعليم هندسة البرمجيات، حيث يُدرَّس على نطاق واسع كمعيار رسمي لصحة الأنواع الفرعية في التصميم الموجه للكائنات. ويُقدَّم عادةً في المناهج الجامعية والكتب الدراسية كقاعدة أساسية للاستدلال حول التوافق السلوكي في البرامج. ^{[ 14 ]}

ليسكوف عضوة في الأكاديمية الوطنية للهندسة ، والأكاديمية الوطنية للعلوم ، وزميلة في الأكاديمية الأمريكية للفنون والعلوم ، وزميلة في رابطة آلات الحوسبة (ACM). في عام 2002، تم تكريمها كواحدة من أبرز عضوات هيئة التدريس في معهد ماساتشوستس للتكنولوجيا، ومن بين أفضل 50 عضوة هيئة تدريس في العلوم في الولايات المتحدة ^{[ 15 ]} . وفي العام نفسه، صنّفتها مجلة ديسكوفر ضمن أهم 50 امرأة في مجال العلوم ^{[ 16 ] .}

في عام ٢٠٠٤، فازت باربرا ليسكوف بميدالية جون فون نيومان لإسهاماتها الجوهرية في لغات البرمجة ومنهجية البرمجة والأنظمة الموزعة . ^{[ ١٧ ]} وفي ١٩ نوفمبر ٢٠٠٥، مُنحت باربرا ليسكوف ودونالد إي. كنوت درجة الدكتوراه الفخرية من المعهد الفدرالي السويسري للتكنولوجيا في زيورخ (ETH) . ^{[ ١٨ ]} كما أُدرج اسم ليسكوف وكنوت في سلسلة الندوات المتميزة التي يُقيمها المعهد الفدرالي السويسري للتكنولوجيا في زيورخ. ^{[ ١٩ ]} وحصلت ليسكوف على درجة الدكتوراه الفخرية من جامعة لوغانو عام ٢٠١١ ^{[ ٢٠ ]} ومن جامعة مدريد التقنية عام ٢٠١٨. ^{[ ٢١ ]}

حصلت ليسكوف على جائزة تورينج لعام 2008 من جمعية آلات الحوسبة (ACM) في مارس 2009، ^{[ 22 ]} لعملها في تصميم لغات البرمجة ومنهجية البرمجيات التي أدت إلى تطوير البرمجة كائنية التوجه . ^{[ 23 ]} على وجه التحديد، طورت ليسكوف لغتي برمجة، هما CLU ^{[ 24 ]} في سبعينيات القرن العشرين، و Argus ^{[ 25 ]} في ثمانينيات القرن العشرين. ^{[ 23 ]} أشارت جمعية آلات الحوسبة (ACM) إلى مساهماتها في الأسس العملية والنظرية لـ " تصميم لغات البرمجة والأنظمة ، لا سيما فيما يتعلق بتجريد البيانات ، وتحمل الأعطال ، والحوسبة الموزعة ". ^{[ 26 ]} في عام 2012، تم إدخالها إلى قاعة مشاهير المخترعين الوطنيين . ^{[ 27 ]}

في عام 2023، مُنح ليسكوف ميدالية بنجامين فرانكلين من معهد فرانكلين لـ "مساهماته الرائدة في لغات ومنهجيات برمجة الحاسوب، مما مكّن من تنفيذ برامج موثوقة وقابلة لإعادة الاستخدام". ^{[ 28 ]}

ليسكوف هو مؤلف خمسة كتب حتى فبراير 2023 وأكثر من مائة ورقة بحثية تقنية.

ليسكوف يهودية. ^{[ 29 ]} في عام 1970، تزوجت من ناثان ليسكوف. ^{[ 7 ]} لديهما ابن واحد، موسى، الذي حصل على درجة الدكتوراه في علوم الحاسوب من معهد ماساتشوستس للتكنولوجيا عام 2004، ويُدرّس علوم الحاسوب في كلية ويليام وماري . ^{[ 2 ]}

• قائمة رواد علوم الحاسوب
• النساء في مجال الحوسبة
• التسلسل الزمني لتاريخ المرأة في العلوم

• بوش-فيشنياك، إيلين؛ بوش، لورين؛ تيتجين، جيل (2024). "الفصل 43. باربرا ليسكوف". نساء في قاعة مشاهير المخترعين الوطنيين: الخمسون عامًا الأولى . سبرينغر نيتشر. الصفحات 383-390 . ISBN  9783031755255.

• الصفحة الرئيسية للأستاذ ليسكوف
• مجموعة منهجية البرمجة
• بيان صحفي لجائزة تورينج
• مقابلة في مجلة كوانتا
• توم فان فليك ، باربرا ليسكوف ، الفائز بجائزة تورينج
• مقابلة برنامج "ساينس فرايداي" على الإذاعة الوطنية العامة مع باربرا ليسكوف، بُثت أصلاً في 13 مارس 2009
• تكريمًا للنساء المتميزات، مقابلة مع باربرا ليسكوف، الحائزة على جائزة تورينج ، أجراها ستيفن إيباراكي
• "باربرا ليسكوف: مقابلة أجراها ويليام أسبري، مركز تاريخ معهد مهندسي الكهرباء والإلكترونيات، 6 أغسطس 1991" . شبكة التاريخ العالمي لمعهد مهندسي الكهرباء والإلكترونيات . تاريخ الاطلاع : 29 نوفمبر 2013 .
• جون ف. غوتاغ ، باربرا ليسكوف ، الإلكترون والبت: الهندسة الكهربائية وعلوم الحاسوب في معهد ماساتشوستس للتكنولوجيا، 1902-2002 ، الفصل السابع: "النساء الرائدات في الهندسة الكهربائية وعلوم الحاسوب"، الصفحات  225-239، 2003، قسم الهندسة الكهربائية وعلوم الحاسوب، معهد ماساتشوستس للتكنولوجيا
• تعيين باربرا ليسكوف أستاذة في المعهد ، أخبار معهد ماساتشوستس للتكنولوجيا، 1 يوليو 2008
• أخبار القسم: تعيين باربرا ليسكوف أستاذة في المعهد. مؤرشف بتاريخ 5 نوفمبر 2016 في أرشيف الإنترنت ، نشرة قسم الهندسة الكهربائية وعلوم الحاسوب، خريف 2008
• ناتاشا بلوتكين، باربرا ليسكوف تُعيّنان أستاذتين في المعهد ، مجلة التكنولوجيا (معهد ماساتشوستس للتكنولوجيا)، 128، 29، 9 يوليو 2008
• روبرت وايزمان، جائزة التميز في الحوسبة تذهب إلى أستاذ من معهد ماساتشوستس للتكنولوجيا ، صحيفة بوسطن غلوب ، 10 مارس 2009
• إريكا ناون، مدفوعًا إلى التجريد ، مجلة إم آي تي ​​للتكنولوجيا ، 21 ديسمبر 2009
• باربرا ليسكوف، مؤرشفة بتاريخ ١٢ يوليو ٢٠١٨ في أرشيف الإنترنت (Wayback Machine) على ويكي برمجة الشطرنج.