הכרה כעמיתת ACM בשנת 2018 הציבה באור הזרקורים את תרומתה המתמשכת של טוניאן פיטאסי למחקר ולהוראה בתחומי סיבוכיות החישובים וסיבוכיות ההוכחות. כמי שמתמחה בלוגיקה מתמטית של מערכות הוכחה, היא השפיעה על האופן שבו מדעני מחשב מבינים את הזמן הנדרש לאימות טענות לוגיות ואת החוזקות המשתנות של מבני הוכחה פורמליים שונים.
יסודות אקדמיים ותחילת הקריירה
פיטאסי, שנולדה בשנת 1962 בפיטסבורג, השלימה את הכשרתה האקדמית הבסיסית באוניברסיטת המדינה של פנסילבניה (Pennsylvania State University), שם קיבלה תואר ראשון ותואר שני. בהמשך עברה לאוניברסיטת טורונטו (University of Toronto) לצורך לימודי הדוקטורט שלה, אותו סיימה בשנת 1992 בהנחייתו של סטיבן קוק (Stephen Cook). מסלולה המקצועי המוקדם כלל מחקר פוסט-דוקטורט באוניברסיטת קליפורניה בסן דייגו (University of California, San Diego), ולאחריו משרות סגל באוניברסיטת פיטסבורג ובאוניברסיטת אריזונה.
תרומות לסיבוכיות הוכחות
מוקד עבודתה של פיטאסי נותר תחום סיבוכיות ההוכחות, החוקר את אורכן של הוכחות מתמטיות בתוך מערכות ספציפיות. מחקרה קובע חסמים תחתונים ועליונים כדי להבהיר את היעילות של הליכי מציאת הוכחות. ממצאים בולטים כוללים חסמים תחתונים מעריכיים להוכחות פרגה (Frege) ביחס לעקרון שובך היונים והוכחות רזולוציה עבור בעיות 3-סיפוקיות אקראיות צפופות. עבודתה בוחנת גם את החוזקות היחסיות של שיטות מישור חותך (cutting-plane) ואת אלגוריתם דייוויס-פוטנאם (Davis-Putnam).
תפקידים מוסדיים ושירות מקצועי
לאחר שחזרה לאוניברסיטת טורונטו בשנת 2001, כיהנה כפרופסור במחלקה למדעי המחשב ובמחלקה למתמטיקה במשך שני עשורים. במהלך תקופת כהונתה, שימשה כיושבת ראש התוכנית של הסימפוזיון לתיאוריה של המחשוב (Symposium on Theory of Computing) בשנת 2012, ושהתה כפרופסור אורח במכון למחקר מתקדם (Institute for Advanced Study) בשנת 2017. בשנת 2021 עברה לאוניברסיטת קולומביה (Columbia University) כפרופסור להנדסה על שם ג'פרי ל. וברנדה בלוישטיין.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הכרה ופרסים
הקהילה המתמטית הבינלאומית העניקה לפיטאסי הכרה באמצעות פרסים שונים. בשנת 1998 היא הייתה דוברת מוזמנת בקונגרס הבינלאומי של המתמטיקאים בברלין. הישגי הקריירה שלה זכו לחיזוק נוסף בשנת 2022 כאשר נבחרה לאקדמיה הלאומית למדעים.
עובדות מהירות
- לידה: 1962, פיטסבורג - דוקטורט: 1992, אוניברסיטת טורונטו - עמיתת ACM לשנת 2018 - חברת האקדמיה הלאומית למדעים משנת 2022 - אזרחות: קנדה - תפקיד נוכחי: אוניברסיטת קולומביה
שאלות נפוצות של קוראים
### מהו המוקד העיקרי של מחקרה של טוניאן פיטאסי?
עבודתה מתמקדת בסיבוכיות הוכחות, ובאופן ספציפי בזיהוי חסמים עליונים ותחתונים לאורכן של הוכחות מתמטיות במערכות פורמליות.
### באילו מוסדות החזיקה במשרות סגל?
היא כיהנה כחברת סגל באוניברסיטת פיטסבורג, באוניברסיטת אריזונה, באוניברסיטת טורונטו ובאוניברסיטת קולומביה.