פורטל:מדעי המחשב/הידעת?/24

חמישה מדעני מחשב ישראלים זכו בפרס טיורינג:

• בשנת 1976: מיכאל רבין מהאוניברסיטה העברית (יחד עם דנה סקוט), על מאמרם העוסק באוטומטים סופיים, שהציג את הרעיון של מכונות לא דטרמיניסטיות.
• בשנת 1996: אמיר פנואלי ממכון ויצמן למדע, על עבודתו המקורית להבאת לוגיקה טמפורלית למדעי המחשב ועל תרומתו לאימות תוכנה.
• בשנת 2002: עדי שמיר ממכון ויצמן למדע (יחד עם רונלד ריבסט ולאונרד אדלמן), על תרומתם לפיתוח הצפנה במפתח ציבורי.
• בשנת 2011: יהודה פרל מאוניברסיטת קליפורניה בלוס אנג'לס, על תרומה יסודית לחקר בינה מלאכותית באמצעות פיתוח תחשיב להסקה סיבתית והסתברותית.
• בשנת 2012: שפי גולדווסר מהמכון הטכנולוגי של מסצ'וסטס וממכון ויצמן למדע (יחד עם סילביו מיקאלי) על תרומה יסודית לביסוס הסיבוכיות התאורטית של הצפנה ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.