עקרון ההחלפה של ליסקוב (Liskov substitution principle), שפותח לצד ברברה ליסקוב (Barbara Liskov) בשנת 1993, נותר תרומה יסודית למתודולוגיית הנדסת התוכנה. ג'נט וינג (Jeannette Wing), שנולדה בניוארק ב-1956, הקדישה עשורים לגישור על הפער בין מדעי המחשב התאורטיים לבין יישומים תעשייתיים. המסלול המקצועי שלה משתרע על פני האקדמיה, מדיניות ממשלתית ומעבדות מחקר תאגידיות, תוך התמקדות בעיקר בשפות תכנות ושיטות פורמליות.
יסודות אקדמיים ומחקר
וינג השלימה את לימודי התואר הראשון והשני שלה בהנדסת חשמל ומדעי המחשב במכון הטכנולוגי של מסצ'וסטס (MIT) ביוני 1979 בהנחיית רונלד ריבסט (Ronald Rivest) וג'ון רייזר (John Reiser). היא קיבלה את הדוקטורט שלה במדעי המחשב באותו מוסד בשנת 1983, בהנחיית ג'ון גוטאג (John Guttag). מינויי הסגל המוקדמים שלה כללו את אוניברסיטת דרום קליפורניה משנת 1982 עד 1985, ולאחריה תקופת כהונה באוניברסיטת קרנגי מלון שנמשכה מ-1985 עד 2012. במהלך תקופתה בקרנגי מלון, היא כיהנה כראש המחלקה למדעי המחשב בשתי תקופות, 2004–2007 ו-2010–2012.
מדיניות ציבורית ומנהיגות תאגידית
מעבר למחקר האקדמי, וינג מילאה תפקידים ניהוליים משפיעים. היא כיהנה כעוזרת מנהל למדעי המחשב ומידע והנדסה בקרן הלאומית למדע (National Science Foundation) בין השנים 2007 ל-2010. בינואר 2013, היא עברה למגזר הפרטי כסגנית נשיא תאגידית במיקרוסופט מחקר (Microsoft Research), שם ניהלה מעבדות גלובליות וקשרי מחקר עד ה-30 ביוני 2017. בעקבות זאת, היא הפכה למנהלת מכון מדעי הנתונים על שם אוונסיאנס (Avanessians) באוניברסיטת קולומביה ומונתה לסגנית נשיא בכירה למחקר באוניברסיטה ב-1 בספטמבר 2021.
תרומות לחשיבה חישובית
וינג מוכרת בזכות תמיכתה בחשיבה חישובית, הכוללת יישום טכניקות הפשטה אלגוריתמיות הנפוצות במדעי המחשב על דיסציפלינות מגוונות. עבודתה בשיטות פורמליות, במיוחד בנוגע ל-Larch, השפיעה משמעותית על מתודולוגיית התכנות. היא מכהנת במועצות מערכת רבות, כולל ה-Journal of the ACM ו-Formal Methods in System Design. הכיבודים המקצועיים שלה כוללים הפיכתה לעמיתת ACM בשנת 1998, עמיתת IEEE בשנת 2003, ובחירה לאקדמיה הלאומית להנדסה בשנת 2024 על עבודתה בתחום מחשוב מהימן ושיטות פורמליות.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →עובדות מהירות
- לידה: 1956, ניוארק - השכלה: המכון הטכנולוגי של מסצ'וסטס - תחומים עיקריים: מדעי המחשב, בינה מלאכותית, שפות תכנות - תפקיד מרכזי: סגנית נשיא בכירה למחקר, אוניברסיטת קולומביה - פיתוח בולט: עקרון ההחלפה של ליסקוב (1993) - עמיתת ACM: 1998 - עמיתת IEEE: 2003 - עניין אישי: חגורה שחורה דאן 4 בטאנג סו דו
שאלות נפוצות של קוראים
### מהו עקרון ההחלפה של ליסקוב?
עקרון שפותח ב-1993 עם ברברה ליסקוב, והוא מושג במתודולוגיית תכנות הנוגע לאופן שבו אובייקטים של מחלקת-על צריכים להיות ברי-החלפה באובייקטים של מחלקות-משנה מבלי לשנות את תקינות התוכנית.
### למה מתכוונת ג'נט וינג בחשיבה חישובית?
הכוונה לתהליך של ביטוי טכניקות לפתרון בעיות והפשטות אלגוריתמיות המשמשות מדעני מחשב, כך שניתן יהיה ליישם אותן על מחקר ומשימות בדיסציפלינות אקדמיות ומעשיות אחרות.