פורטל:מדעי המחשב/הידעת?/24 – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
גם הידעת צריך לעדכן |
הגיע הזמן לעדכן |
||
שורה 1:
* בשנת 1976: [[מיכאל רבין]] מ[[האוניברסיטה העברית]] (יחד עם דנה סקוט), על מאמרם העוסק באוטומטים סופיים, שהציג את הרעיון של מכונות לא דטרמיניסטיות.
* בשנת 1996: [[אמיר פנואלי]] מ[[מכון ויצמן למדע]], על עבודתו המקורית להבאת לוגיקה טמפורלית למדעי המחשב ועל תרומתו ל[[אימות תוכנה]].
* בשנת 2002: [[עדי שמיר]] ממכון ויצמן למדע (יחד עם [[רונלד ריבסט]] ו[[לאונרד אדלמן]]), על תרומתם לפיתוח [[הצפנה]] במפתח ציבורי.
* בשנת
*בשנת 2012: [[שפי גולדווסר]] מ[[המכון הטכנולוגי של מסצ'וסטס]] ומ[[מכון ויצמן למדע]] (יחד עם [[סילביו מיקאלי]]) על תרומה יסודית לביסוס ה[[סיבוכיות]] התאורטית של [[הצפנה]] ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.
|