עמוד זה מכיל רשימת ערכים מבוקשים בנושאי מדעי המחשב. בהוספת ערכים חדשים, אנא שמרו על סדר האלפבית.
כמו כן, אם אתם יודעים מה שם הערך באנגלית או שפה אחרת, הוסיפו גם אותו בסוגריים.
לערכים באנגלית ניתן לגשת דרך הערך על פרס טיורינג בוויקיפדיה האנגלית (אנ').
פרס גדל הוא השני בחשיבותו בתחום מדעי המחשב, לאחר פרס טיורינג.
שנה
|
שמות הזוכים
|
הסיבה לזכייה
|
1993 |
צ'ארלס ראקוף |
פיתוח המושג של מערכת הוכחה אינטראקטיבית
|
1994 |
יוהאן הסטאד |
על מציאת חסם תחתון אקספוננציאלי על גודלם של מעגלים בוליאניים קבועי-עומק לחישוב פונקציית זוגיות
|
1995 |
ניל אימרמן, רוברט סלפצ'ני |
על ההוכחה כי מחלקות סיבוכיות מקום אי-דטרמיניסטיות סגורות לפעולת המשלים (משפט אימרמן)
|
1996 |
מארק ג'רום, אליסטר סינקלייר |
על עבודתם בנושא שרשראות מרקוב וקירוב בעיית הפרמננטה
|
1997 |
ג'וזף הלפרן |
על הגדרת "ידע" במערכות מבוזרות
|
1998 |
סינוסוק טודה |
על הוכחת הקשר בין מחלקת הסיבוכיות PP וההיררכיה הפולינומית (משפט טודה)
|
2000 |
פייר וולפר |
על בדיקות מודאליות בעזרת אוטומט סופי
|
2001 |
סנג'יב ארורה, קארסטן לאנד, ראג'יב מוטוואני, מדו סודן, מריו סגדי |
על משפט ה-PCP והשלכותיו באלגוריתמי קירוב
|
2002 |
ג'ראד סניזרגוס |
על הוכחת כריעות של בעיית השקילות, בשפות של אוטומט מחסנית
|
2003 |
רוברט שפיר |
עבור המצאת אלגוריתם AdaBoost
|
2004 |
מאוריס הרלי, מייק זאקס, פוטיוס זהרוגלו |
על אפליקציות בטופולוגיה של חישוב מבוזר
|
2005 |
מריו סגדי |
על תרומתם היסודית בתחום אלגוריתמים לזרמי מידע
|
2006 |
נירג' קייל, ניטין סקסנה |
על אלגוריתם AKS לבדיקת ראשוניות של מספר בזמן פולינומי
|
2007 |
אלכסנדר רזבורוב, סטיבן רודיך |
על הוכחות טבעיות
|
2008 |
שאנגואה טאנג, דניאל ספילמן |
על שיטת ניתוח האלגוריתמים Smooth Analysis
|
2010 |
סנג'יב ארורה, ג'וזף מיטשל |
על פיתוח אלגוריתמי קירוב יעילים עבור בעיית הסוכן הנוסע במרחב אוקלידי
|
2011 |
יוהאן הסטאד |
על תוצאות אי-קיום של אלגוריתמי קירוב (בעלי פרמטרים "טובים") עבור בעיות NP קשות
|
2012 |
אליאס קוטסופיאס, טים ראפגרדן, אוה טרדוש, אמיר רונן |
על הנחת היסודות בתחום תורת המשחקים האלגוריתמית
|
2013 |
מת'יו פראנקלין, אנטואן ז'וקס |
על כלים קריפטוגרפים המבוססים על מיפוי בי-ליניארי
|
אישים נוספים
עריכה
אובייקטים, פרימיטיבים, מבני נתונים ושפות
עריכה
אלגוריתמים, מושגים ותחומים
עריכה
|