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

מבין 56 הזוכים בפרס גדל, הפרס השני בחשיבותו בתחום מדעי המחשב, 17 הם ישראלים (נכון לשנת 2014):

שנה	שם	ארץ לידה	שנת לידה	בשיתוף עם	סיבת הענקת הפרס
1993	שפי גולדווסר	ארצות הברית	1958	לסלו בבאי, סילביו מיקאלי, שלמה מורן וצ'ארלס ראקוף	פיתוח המושג של מערכת הוכחה אינטראקטיבית
1993	שלמה מורן	ארץ ישראל	1947	לסלו בבאי, שפי גולדווסר, סילביו מיכאלי וצ'ארלס ראקוף	פיתוח המושג של מערכת הוכחה אינטראקטיבית
1997	יורם מוזס	ישראל	1957	ג'וזף הלפרן	על הגדרת "ידע" במערכות מבוזרות
2000	משה ורדי	ישראל		פייר וולפר	על בדיקות מודאליות בעזרת אוטומט סופי
2001	אוריאל פייגה	ישראל	1959	סנג'יב ארורה, שפי גולדווסר, קארסטן לאנד, לסלו לובאס, ראג'יב מוטוואני, שמואל ספרא, מדו סודן ומריו סגדי	על משפט ה-PCP והשלכותיו באלגוריתמי קירוב
2001	שפי גולדווסר	ארצות הברית	1958	סנג'יב ארורה, אוריאל פייגה, קארסטן לאנד, לסלו לובאס, ראג'יב מוטוואני, שמואל ספרא, מדו סודן ומריו סגדי	על משפט ה-PCP והשלכותיו באלגוריתמי קירוב
2001	שמואל ספרא	ישראל		סנג'יב ארורה, אוריאל פייגה, שפי גולדווסר, קארסטן לאנד, לסלו לובאס, ראג'יב מוטוואני, מדו סודן ומריו סגדי	על משפט ה-PCP והשלכותיו באלגוריתמי קירוב
2003	יואב פרוינד	ישראל		רוברט שפיר	עבור המצאת אלגוריתם AdaBoost
2004	ניר שביט	ישראל		מאוריס הרלי, מייק זאקס ופוטיוס זהרוגלו	על אפליקציות בטופולוגיה של חישוב מבוזר
2005	נוגה אלון	ישראל	1956	יוסי מטיאס ומריו סגדי	על תרומתם היסודית בתחום אלגוריתמים לזרמי מידע
2005	יוסי מטיאס	ישראל		נוגה אלון ומריו סגדי	על תרומתם היסודית בתחום אלגוריתמים לזרמי מידע
2009	עומר ריינגולד	ישראל	1969	סליל ואדן ואבי ויגדרזון	על מכפלות "זיג-זג" של גרפים
2009	אבי ויגדרזון	ישראל	1956	סליל ואדן ועומר ריינגולד	על מכפלות "זיג-זג" של גרפים
2012	נעם ניסן	ישראל	1961	אליאס קוטסופיאס, כריסטוס פאפאדימיטריו, טים ראפגרדן, אוה טרדוש ואמיר רונן	על הנחת היסודות בתחום תורת המשחקים האלגוריתמית
2012	אמיר רונן	ישראל		אליאס קוטסופיאס, כריסטוס פאפאדימיטריו, טים ראפגרדן, אוה טרדוש ונעם ניסן	על הנחת היסודות בתחום תורת המשחקים האלגוריתמית
2013	דן בונה	ישראל	1969	מת'יו פראנקלין ואנטואן ז'וקס	על כלים קריפטוגרפיים המבוססים על מיפוי בי-ליניארי
2014	אמנון לוטם	ישראל		רונאלד פאגין ומוני נאור	על תוצאות פורצות דרך באלגוריתמים של קיבוץ מידע (אגרגציה)
2014	מוני נאור	ישראל		רונאלד פאגין ואמנון לוטם	על תוצאות פורצות דרך באלגוריתמים של קיבוץ מידע (אגרגציה)