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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
باربارا لسكوف
Barbara Liskov.PNG
 

معلومات شخصية
الميلاد 7 نوفمبر 1939 (81 سنة)  تعديل قيمة خاصية (P569) في ويكي بيانات
لوس أنجلوس  تعديل قيمة خاصية (P19) في ويكي بيانات
مواطنة Flag of the United States.svg الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضوة في الأكاديمية الأمريكية للفنون والعلوم،  والأكاديمية الوطنية للهندسة،  ورابطة مكائن الحوسبة،  والأكاديمية الوطنية للعلوم  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة ستانفورد (الشهادة:دكتوراه في الفلسفة) (–1968)[1]
جامعة كاليفورنيا، بركلي  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه جون مكارثي[2]  تعديل قيمة خاصية (P184) في ويكي بيانات
تعلمت لدى جون مكارثي  تعديل قيمة خاصية (P1066) في ويكي بيانات
طلاب الدكتوراه موريس هيرلي  تعديل قيمة خاصية (P185) في ويكي بيانات
المهنة عَالِمَة حاسوب،  وأستاذة جامعية،  ومهندسة  تعديل قيمة خاصية (P106) في ويكي بيانات
مجال العمل علم الحاسوب  تعديل قيمة خاصية (P101) في ويكي بيانات
موظفة في معهد ماساتشوستس للتكنولوجيا  تعديل قيمة خاصية (P108) في ويكي بيانات
أعمال بارزة حوسبة موزعة  تعديل قيمة خاصية (P800) في ويكي بيانات
الجوائز
المواقع
الموقع الموقع الرسمي  تعديل قيمة خاصية (P856) في ويكي بيانات

باربرا لسكوف (بالإنجليزية: Barbara Liskov)‏ ولدت في 7 نوفمبر 1939 في كاليفورنيا، وهي عالمة حاسوب وحالياً بروفيسور فورد للهندسة في مدرسة معهد ماساتشوسوس للتطوير في قسم الهندسة الكهربائية وعلوم الحاسوب كما أنها أستاذة بمعهد ماساتشوستس للتقنية.

الحياة والمهنة[عدل]

حصلت لسكوف على بكالوريوس في الرياضيات من جامعة كاليفورنيا في بيركلي عام 1961.

في عام 1968 أصبحت أول امرأة في الولايات المتحدة تحصل على درجة الدكتوراه في علوم الحاسب من جامعة ستانفورد، وكان عنوان رسالتها للدكتوراه "برمجة الحاسوب للعب الشطرنج والألعاب".

أدت ليسكوف مشاريع هامة كثيرة، كان منها نظام التشغيل فينوس، ونظام المشاركة التفاعلية الزمنية الصغيرة والمنخفضة التكلفة، وتصميم وتنفيذ CLU؛ أرغوس.

وهي أول لغة رفيعة المستوى لدعم تنفيذ برامج التوزيع ولشرح تقنية النقل بواسطة خط الأنابيب الموعودة، و" ثور" وهوعبارة عن نظام قاعدة بيانات موجهة. كما طورت مع جانيت وينج، تعريف خاص للتصنيف الفرعي، والذي عرف ب مبدأ ليسكوف للاستبدال كما قادت مجموعة منهجية البرمجة في معهد ماساتشوستس للتكنولوجيا، مع التركيز على البحوث الحالية في الخطأ والتسامح والحوسبة الموزعة.

تعتبر ليسكوف عضواً في الأكاديمية الدولية للهندسة، وعضواً في إدارة الأكاديمية الأمريكية للفنون والعلوم، وعضواً في اتحاد أجهزة الحواسيب.

وفي عام 2004 ربحت ليسكوف ميدالية جون فون نيومان لمساهمتها الأساسية في لغات البرمجة، البرمجة المنهجية والنظم الموزعة..

وتعد لينسكوف كاتبة لثلاثة كتب وأكثر من مئات الأوراق التقنية.

تلقت لوسكوف جائزة تورنغ من الACM للعام 2008 لعملها في تصميم لغات البرمجة والبرامج المنهجية التي أدت إلى تطوير وجه منحى البرمجة .

على وجه التحديد، طورت لوسكوف لغتي برمجة، CLU في السبعينيات وArgus في الثمانيات .

يذكر إسهامها في تطوير الأسس العملية والنظرية لللغة البرمجية وتصميم النظام، خصوصاً فيما يتعلق بتجريد البيانات والتسامح مع الخطأ والحوسبة الموزعة.

مراجع[عدل]

  1. ^ https://web.archive.org/web/20090427060321/http://www.pmg.csail.mit.edu/~liskov/ — تاريخ الاطلاع: 5 ديسمبر 2017 — مؤرشف من الأصل في 27 أبريل 2009
  2. ^ https://www.genealogy.math.ndsu.nodak.edu/id.php?id=61932 — تاريخ الاطلاع: 8 أغسطس 2016
  3. ^ https://www.computer.org/profiles/barbara-liskov — تاريخ الاطلاع: 17 يوليو 2019
  4. ^ https://www.upc.edu/ca/la-upc/honoris-causa