יעל טאומן קלעי

יעל טאומן קלעי
לידה תל אביב-יפו
ענף מדעי קריפטוגרפיה עריכת הנתון בוויקינתונים
מקום לימודים
מוסדות המכון הטכנולוגי של ג'ורג'יה עריכת הנתון בוויקינתונים
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית

יעל טאומן קלעי היא קריפטוגרפית ומדענית מחשבים תאורטית העובדת כחוקרת ראשית בכירה במיקרוסופט מחקר וכמורה מן החוץ ב-MIT במעבדת מדעי המחשב והבינה המלאכותית.[1][2][3]

השכלה וקריירה

[עריכת קוד מקור | עריכה]

קלעי סיימה תואר ראשון במתמטיקה בהצטיינות יתרה באוניברסיטה העברית בירושלים בשנת 1997.[4][5] היא עבדה עם עדי שמיר במכון ויצמן למדע, סיימה שם תואר שני במדעי המחשב ומתמטיקה ב-2001, ולאחר מכן עברה למכון הטכנולוגי של מסצ'וסטס, שם השלימה את הדוקטורט שלה ב-2006 עם שפי גולדווסר כמנחת הדוקטורט שלה. היא עשתה פוסט-דוקטורט במיקרוסופט מחקר ובמכון ויצמן והייתה חברת סגל במכון הטכנולוגי של ג'ורג'יה. קיבלה משרה קבועה במיקרוסופט בשנת 2008.[1][2] היא מכהנת במועצה המייעצת המדעית של המכון למחקר חישובי וניסיוני במתמטיקה (ICERM).[6]

תרומות

[עריכת קוד מקור | עריכה]

קלעי ידועה בהמצאה (יחד עם רונלד ריבסט ועדי שמיר) של חתימת טבעת (אנ'), סוג של חתימה דיגיטלית שהפכה למרכיב מפתח במערכות רבות כגון Cryptonote (אנ') ומורנו (מטבע מבוזר). לאחר מכן, יחד עם המנחה שלה שפי גולדווסר, היא גילתה חולשה בהיוריסטיקה של פיאט-שמיר (אנ') - טכניקה נפוצה ליצירת חתימה דיגיטלית המבוססת על מערכת הוכחה אינטראקטיבית, שפותחה ב-1986 על ידי עמוס פיאט ועדי שמיר.[7] טכניקה זו נמצאת בשימוש נרחב ביישומים בעולם האמיתי, כולל בתוכנית החתימה הדיגיטלית הנפוצה ביותר (ECDSA) (אנ') המשמשת את כל המכשירים הניידים של iOS ואנדרואיד. למרות השימוש הנרחב שלה, האבטחה שלה לא הובנה בצורה טובה. המחקר של קלעי ייסד בסיס להבנת האבטחה של פרדיגמה זו. בנוסף, קלעי הייתה חלוצה בתחום הקריפטוגרפיה שחסינה לדליפה ופתרה בעיה פתוחה ארוכת שנים בתורת הקידוד האינטראקטיבי, והראתה כיצד להמיר כל פרוטוקול אינטראקטיבי לפרוטוקול שעמיד בפני חלק קבוע של טעויות מכשילות תוך הגברת מורכבות התקשורת לכל היותר בפקטור קבוע ואת זמן הריצה לכל היותר בפקטור פולינומי.

קלעי פיתחה גם את התחום של האצלת חישוב מאומת שיש לו יישומים חשובים למחשוב ענן.[8] קלעי פיתחה שיטות להפקת הוכחות תמציתיות המאשרות את נכונותו של כל חישוב. שיטה זו מאפשרת למכשיר חלש להעביר כל חישוב למכשיר חזק יותר באופן המאפשר בדיקת תקינות התוצאות ביעילות. הוכחות תמציתיות כאלה שימשו חברות בלוקצ'יין רבות (כולל Ethereum) כדי לאשר תקפות עסקה ובכך להתגבר על מכשולים מרכזיים ביכולת ההרחבה של הבלוקצ'יין, מה שמאפשר עסקאות מהירות ואמינות יותר. המחקר של קלעי סיפק הגדרות חיוניות, מושגי מפתח וטכניקות יצירתיות לתחום זה.[4]

הכרה

[עריכת קוד מקור | עריכה]

עבודת המאסטר של קלעי, שהציגה את הרעיון של חתימות טבעת, זכתה בפרס התזה המצטיינת לתואר שני. עבודת הדוקטורט שלה ב-MIT זכתה בפרס George M. Sprowls עבור עבודת הדוקטורט המצטיינת במדעי המחשב.[4]

בשנת 2017 הייתה יו"ר משותף של כנס האגודה הבין-לאומית למחקר קריפטוגרפי.[9]

ב-2018 הוזמנה קלעי להרצות על היבטים מתמטיים של מדעי המחשב בקונגרס הבין-לאומי של מתמטיקאים.[10]

היא זכתה בפרס ACM למחשוב לשנת 2022 "על פריצות דרך בהאצלת חישוב ניתן לאימות ותרומה בסיסית לקריפטוגרפיה".[4]

חיים אישיים

[עריכת קוד מקור | עריכה]

קלעי היא בתו של פרופסור יאיר טאומן. בעלה, אדם טאומן קלעי, עובד גם הוא במיקרוסופט מחקר, והם הורים לשני ילדים.[11]

קישורים חיצוניים

[עריכת קוד מקור | עריכה]
ויקישיתוף מדיה וקבצים בנושא יעל טאומן קלעי בוויקישיתוף

הערות שוליים

[עריכת קוד מקור | עריכה]
  1. ^ 1 2 Yael Tauman Kalai, Microsoft Research (באנגלית אמריקאית)
  2. ^ 1 2 Yael Kalai, Simons Institute for the Theory of Computing (באנגלית)
  3. ^ Yael Kalai, CSAIL Alliances (באנגלית)
  4. ^ 1 2 3 4 Yael Tauman Kalai, ACM awards, ‏2022 (באנגלית)
  5. ^ Yael Kalai, IEEE
  6. ^ "ICERM - Trustee and Advisory Boards - Trustee & Advisory Boards". icerm.brown.edu. נבדק ב-2021-07-11.
  7. ^ S. Goldwasser, Y.T. Kalai, On the (In)security of the Fiat-Shamir paradigm, 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings., 2003-10, עמ' 102–113 doi: 10.1109/SFCS.2003.1238185
  8. ^ Larry Hardesty, Massachusetts Institute of Technology, Securing the cloud: New algorithm solves major problem with homomorphic encryption, phys.org (באנגלית)
  9. ^ Yael Kalai, Leonid Reyzin, Theory of Cryptography, Lecture Notes in Computer Science, 2017 doi: 10.1007/978-3-319-70503-3
  10. ^ ICM Plenary and Invited Speakers, International Mathematical Union
  11. ^ Alyssa Hughes, New England Researcher Finds Her Bliss, Microsoft Research, ‏2009-05-14 (באנגלית אמריקאית)