ماري كلود غوديل: رائدة علوم الحاسوب الفرنسية
ماري كلود غوديل: مسيرة حافلة في علوم الحاسوب وهندسة البرمجيات
تعد ماري كلود غوديل (مواليد 1946) واحدة من أبرز علماء الحاسوب الفرنسيين، حيث تركت بصمة واضحة في مجالات علوم الحاسوب النظرية والتطبيقية. شغلت منصب أستاذة متقاعدة في جامعة باريس-سود، وساهمت بشكل جوهري في تطوير لغة PLUSS المخصصة لمواصفات البرمجيات، مما جعلها مرجعاً في مجال ضمان جودة البرمجيات.
النشأة والتعليم
ولدت ماري كلود غوديل في عام 1946 في مدينة نانسي بفرنسا، ونشأت في عائلة من العلماء والرياضيين، مما مهد الطريق لشغفها بالعلوم. تلقت تعليمها في جامعة نانسي، حيث حصلت على عدة درجات علمية متميزة:
- ماجستير في الرياضيات والتطبيقات الأساسية عام 1968.
- دبلوم الدراسات المتقدمة (DEA) في الرياضيات عام 1969.
- دكتوراه بعد الجامعية في علوم الحاسوب عام 1971.
- دكتوراه الدولة في عام 1980.
المسيرة المهنية والإنجازات
بدأت غوديل مسيرتها البحثية في عام 1973 في المعهد الفرنسي للبحث في علوم الحاسوب والأتمتة (INRIA) بينما كانت لا تزال طالبة. وفي الفترة ما بين 1981 وبداية 1984، تولت إدارة مجموعة هندسة البرمجيات في مركز الأبحاث الصناعية التابع لشركة ألكاتيل-ألستوم (Alcatel-Alsthom) في ماركوسيس.
الأكاديمية والبحث العلمي
في عام 1984، انضمت غوديل إلى جامعة باريس-سود في أورساي كأستاذة، حيث ركزت أبحاثها على اختبار البرمجيات، وخاصة الاختبارات القائمة على المواصفات الرسمية. خلال الثمانينيات والتسعينيات، ساهمت في تطوير:
- لغة PLUSS: لغة متخصصة في تحديد مواصفات البرمجيات.
- بيئة ASSPEGIQUE: بيئة عمل مخصصة للمواصفات.
- نظام LOFT: نظام متطور لاختيار بيانات الاختبار.
في العقد الأول من القرن الحادي والعشرين، تعاونت مع باحثين من جامعة يورك البريطانية لاختبار البرمجيات المحددة بلغة Circus، كما بحثت في التحقق التقريبي من البرمجيات وطورت خوارزميات للاختبار العشوائي والتحليل.
التقاعد والنشاط المستمر
رغم تقاعدها من جامعة باريس-سود في مارس 2007، إلا أن غوديل لا تزال نشطة جداً في المجتمع العلمي. فهي تترأس لجان برامج لعدة مؤتمرات حول الاختبار الرسمي، وتعمل كمحررة في مجلات علمية مرموقة مثل The Science of Computer Programming و Formal Aspects of Computing.
الجوائز والتكريمات
| الجائزة/التكريم | الجهة المانحة | السنة |
|---|---|---|
| دكتوراه فخرية | المعهد الفيدرالي السويسري للتكنولوجيا (EPFL) | 1995 |
| الميدالية الفضية | المركز الوطني الفرنسي للبحث العلمي (CNRS) | 1996 |
| وسام جوقة الشرف | الجمهورية الفرنسية | 2011 |
| عضو شرفي | الجمعية المعلوماتية الفرنسية (SIF) | 2013 |
| دكتوراه فخرية | جامعة يورك، إنجلترا | 2013 |
أبرز المنشورات العلمية
ألف غوديل وشاركت في تأليف العديد من الأبحاث المؤثرة، ومن أهمها:
- بحث حول "اختبار البرمجيات بناءً على المواصفات الرسمية: نظرية وأداة" (1991).
- ورقة بحثية بعنوان "الاختبار يمكن أن يكون رسمياً أيضاً" (1995).
- دراسة حول "توليد مجموعات الاختبار من المواصفات الجبرية باستخدام البرمجة المنطقية" (1986).
أسئلة شائعة
من هي ماري كلود غوديل؟
هي عالمة حاسوب فرنسية وأستاذة متقاعدة من جامعة باريس-سود، اشتهرت بأبحاثها في هندسة البرمجيات والاختبار الرسمي.
ما هي أهم مساهماتها في علوم الحاسوب؟
تتمثل أهم مساهماتها في تطوير لغة PLUSS لمواصفات البرمجيات، وتطوير نظريات وأدوات لاختبار البرمجيات بناءً على مواصفات رسمية.
ما هي الجوائز التي حصلت عليها؟
حصلت على عدة تكريمات رفيعة، منها وسام جوقة الشرف الفرنسي، والميدالية الفضية من CNRS، ودكتوراه فخرية من جامعة يورك وEPFL.