פורטל:מדעי המחשב/מדען נבחר/6

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
עדי שמיר

עדי שמיר (נולד ב־1952) הוא מדען מחשב ישראלי העוסק בעיקר בקריפטוגרפיה (תורת ההצפנה) ובסיבוכיות חישובית.

עבודותיו בקריפטוגרפיה נוגעות בכל היבט של התחום. אחת הראשונות בהן הייתה אלגוריתם ההצפנה RSA, המהווה בסיס למרבית תוכנות ההצפנה הנהוגות היום. האלגוריתם פותח בשנת 1977, בעת ששמיר שהה במכון הטכנולוגי של מסצ'וסטס, והוא קרוי על־שם ראשי התיבות ממציאיו: ריבסט, שמיר ואדלמן. תרומות אחרות של שמיר כוללות את מושג חלוקת הסוד, קריפטאנליזה דיפרנציאלית ורעיון השימוש בפונקציות אקראיות ליצירת שיטות חתימה יעילות.

מתרומותיו הידועות לסיבוכיות היא ההוכחה כי מחלקת הסיבוכיות IP, שמציינת את השפות שיש להן מערכת הוכחה אינטראקטיבית יעילה מבחינת המוודא, זהה למחלקה PSPACE שכוללת את השפות שניתנות להכרעה באמצעות שימוש בזיכרון שגודלו פולינומי.

עדי שמיר זכה, יחד עם אדלמן וריבסט בפרס טיורינג לשנת 2002. פרסים נוספים בהם זכה: פרס ארדש לשנת 1983, בפרס ויצמן לשנת 1987 ובפרס ישראל לחקר מדעי המחשב לשנת תשס"ח.

לערך המלא