מדליית הכסף של ה-CNRS משנת 1996 נמנית עם ההכרות הפורמליות שקיבלה מארי-קלוד גודל, מדענית מחשבים ומתמטיקאית צרפתייה שקריירה שלה גישרה בין ספציפיקציה מופשטת לבין יישום תעשייתי. מאז לידתה בנאנסי ב-1946, היא בילתה עשרות שנים בקידום התפתחות של שיטות בדיקה פורמליות ושפות ספציפיקציה של תוכנה בנוף האקדמי האירופאי.
השכלה אקדמית
גודל החלה את לימודיה באוניברסיטת נאנסי, שם התמקדה בצומת של מתמטיקה ויישומיה היסודיים. היא קיבלה תואר שני ב-1968, ולאחריו תואר DEA במתמטיקה ב-1969. המעבר שלה למדעי המחשב התבסס עם דוקטורט לאחר התואר ב-1971, שהגיע לשיאו בדוקטורט מדינה שהוענק לה ב-1980.
מחקר ופיתוח
המסלול המקצועי שלה החל במכון הצרפתי למחקר במדעי המחשב ואוטומציה ב-1973. בין 1981 ל-1984, ניהלה את קבוצת ההנדסה תוכנה במרכז המחקר של אלקטל-אלסתום במרקוסי. ב-1984, הצטרפה לאוניברסיטת פריז-סוד באורסי כפרופסור. במהלך שנות ה-80 וה-90, היתרוממה ליצירת שפת PLUSS לספציפיקציות תוכנה וסביבת ASSPEGIQUE, בעוד צוותה פיתח את מערכת LOFT לבחירת נתוני בדיקה.
מתודולוגיות בדיקה
הפלטה האקדמית שלה בחנה באופן עקבי בדיקות תוכנה דרך עדשה של ספציפיקציות פורמליות. בשנות ה-2000, שיתפה פעולה עם חוקרים מאוניברסיטת יורק כדי לבדוק תוכנה שנכתבה בשפת Circus. המחקר שלה התרחב לאימות תוכנה קירובי ועיצוב אלגוריתמים לבדיקה וניתוח אקראי של תוכנה.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הכרה מקצועית
גודל פרשה מפרופסורה באוניברסיטת פריז-סוד במרץ 2007. הקריירה שלה כוללת תואר דוקטור לשם כבוד מה-EPFL ב-1995 ומאוניברסיטת יורק ב-2013, כמו גם מינויה לאבירה בלגיון הכבוד ב-2011. היא נותרת משתתפת פעילה בחברות מדעיות, ומשרתת בוועדות תוכנית ועורכת לכתבי עת כולל The Science of Computer Programming ו-Formal Aspects of Computing.
עובדות מהירות
- נולדה: 1946, נאנסי, צרפת - תחום: מדעי המחשב ומתמטיקה - השכלה: נאנסי-אוניברסיטה - פרס: מדליית הכסף של ה-CNRS (1996) - פרס: אבירת לגיון הכבוד (2011) - דוקטור לשם כבוד: EPFL (1995), אוניברסיטת יורק (2013)
שאלות שקוראים שואלים
### מהו המיקום העיקרי של מחקרה של מארי-קלוד גודל?
היא מתמחה במדעי המחשב תיאורטיים ויישומיים, ובמיוחד מתמקדת בבדיקות תוכנה המבוססות על ספציפיקציות פורמליות.
### האם מארי-קלוד גודל פעילה עדיין בקהילה המדעית?
כן, למרות שפרשה מאוניברסיטת פריז-סוד ב-2007, היא ממשיכה לשרת בוועדות תוכנית ולערוך כתבי עת אקדמיים.