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

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

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

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

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

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

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

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

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

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

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


 The Cryptographer Who Ensures We Can Trust Our Computers, Quanta Magazine, July 27, 2023

 הערות שוליים 

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