פורטל:מדע בישראל/פרס נבחר/3

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

שנה	שם	ארץ לידה	שנת לידה	שנת פטירה	בשיתוף עם	סיבת הענקת הפרס
1976	מיכאל רבין	גרמניה	1931		דנה סקוט	על הגדרת אוטומט סופי לא דטרמיניסטי ורעיון האי-דטרמיניזם
1996	אמיר פנואלי	ארץ ישראל	1941	2009		על הכנסת לוגיקת זמן (לוגיקה טמפורלית) לתחום מדעי המחשב
2002	עדי שמיר	ישראל	1952		רונלד ריבסט ולאונרד אדלמן	על תרומה מקורית בהפיכת הצפנה אסימטרית לבת-קיימא (RSA)
2011	יהודה פרל	ישראל	1936			על תרומה יסודית לחקר בינה מלאכותית באמצעות פיתוח תחשיב להסקה סיבתית והסתברותית.
2012	שפי גולדווסר	ארצות הברית	1958		סילביו מיקאלי	על תרומה יסודית לביסוס הסיבוכיות התאורטית של הצפנה ופיתוח שיטות יעילות לאימות הוכחות מתמטיות בתורת הסיבוכיות.

• 
  מיכאל רבין
• 
  אמיר פנואלי
• 
  עדי שמיר
• 
  שפי גולדווסר