ماري-كلود غوديل

تُعد الميدالية الفضية للمركز الوطني للبحث العلمي (CNRS) لعام 1996 من بين التقديرات الرسمية لماري-كلود غوديل (Marie-Claude Gaudel)، وهي عالمة حاسوب ورياضيات فرنسية جسّرت مسيرتها المهنية الفجوة بين المواصفات المجردة والتطبيق الصناعي. منذ ولادتها في نانسي عام 1946، قضت عقوداً في تعزيز تطوير طرق الاختبار الرسمية ولغات مواصفات البرمجيات داخل المشهد الأكاديمي الأوروبي.

التكوين الأكاديمي

بدأت غوديل تعليمها في جامعة نانسي، حيث ركزت على تقاطع الرياضيات وتطبيقاتها الأساسية. حصلت على درجة الماجستير في عام 1968، تلتها دبلوم الدراسات المعمقة (DEA) في الرياضيات في عام 1969. ترسخ انتقالها إلى علوم الحاسوب بحصولها على درجة الدكتوراه للدراسات العليا في عام 1971، وتوجت بحصولها على دكتوراه الدولة في عام 1980.

البحث والتطوير

بدأت مسيرتها المهنية في المعهد الوطني لأبحاث علوم الحاسوب والأتمتة في فرنسا عام 1973. بين عامي 1981 و1984، أدارت مجموعة هندسة البرمجيات في مركز أبحاث ألكاتيل-ألستوم (Alcatel-Alsthom) في ماركوسي. في عام 1984، انضمت إلى جامعة باريس الجنوبية في أورساي كأستاذة. خلال الثمانينيات والتسعينيات، ساهمت في إنشاء لغة PLUSS لمواصفات البرمجيات وبيئة ASSPEGIQUE، بينما طور فريقها نظام LOFT لاختيار بيانات الاختبار.

منهجيات الاختبار

فحص إنتاجها الأكاديمي باستمرار اختبار البرمجيات من خلال عدسة المواصفات الرسمية. في العقد الأول من القرن الحادي والعشرين، تعاونت مع باحثين من جامعة يورك لاختبار برمجيات مكتوبة بلغة Circus. توسعت أبحاثها لتشمل التحقق التقريبي من البرمجيات وتصميم خوارزميات لاختبار البرمجيات العشوائي وتحليلها.

الاعتراف المهني

تقاعدت غوديل من منصبها الأستاذي في جامعة باريس الجنوبية في مارس 2007. تشمل مسيرتها المهنية دكتوراه فخرية من المعهد الفدرالي السويسري للتكنولوجيا في لوزان (EPFL) عام 1995 وجامعة يورك عام 2013، بالإضافة إلى تسميتها فارسة في وسام جوقة الشرف في عام 2011. لا تزال مشاركة نشطة في الجمعيات العلمية، حيث تعمل في لجان البرامج وتقوم بالتحرير لمجلات منها The Science of Computer Programming وFormal Aspects of Computing.

حقائق سريعة

- الميلاد: 1946، نانسي، فرنسا - المجال: علوم الحاسوب والرياضيات - التعليم: جامعة نانسي - الجائزة: الميدالية الفضية للمركز الوطني للبحث العلمي (1996) - الجائزة: فارسة وسام جوقة الشرف (2011) - دكتوراه فخرية: المعهد الفدرالي السويسري للتكنولوجيا (1995)، جامعة يورك (2013)

أسئلة يطرحها القراء

### ما هو التركيز الرئيسي لأبحاث ماري-كلود غوديل؟

تتخصص في علوم الحاسوب النظرية والتطبيقية، مع التركيز بشكل خاص على اختبار البرمجيات القائم على المواصفات الرسمية.

### هل لا تزال ماري-كلود غوديل نشطة في المجتمع العلمي؟

نعم، على الرغم من تقاعدها من جامعة باريس الجنوبية في عام 2007، إلا أنها تواصل العمل في لجان البرامج وتحرير المجلات الأكاديمية.