פרס גדל

פרס גֶדֶל (Gödel) הוא פרס המוענק אחת לשנה, החל משנת 1993, עבור מאמר בולט באיכותו בתחום מדעי המחשב. הפרס מוענק על ידי ההתאחדות האירופית לתאוריה של מדעי המחשב (EATCS)[1] וה-ACM[2]. מעמד הענקת הפרס מתחלף מדי שנה בין כנס ICALP (השייך ל-EACTS) לבין כנס STOC (אשר שייך ל-ACM). גובה הפרס עומד על 5,000 דולר ארצות הברית. הפרס הוא השני בחשיבותו בתחום מדעי המחשב, לאחר פרס טיורינג.

הפרס קרוי על שם הלוגיקן האוסטרי קורט גדל, לאור תרומותיו הרבות בתחום הלוגיקה המתמטית, ולאור הגדרת אחת הבעיות הפתוחות המרכזיות במדעי המחשב, זו שנודעה לימים כשאלה האם P=NP‏[3].

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

ארבעה מהזוכים - שפי גולדווסר, יוהאן הסטאד, סנג'יב ארורה ומריו סגדי - זכו בפרס פעמיים כל אחד.

הזוכים בפרס

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

תהליך הזכייה בפרס

מועמדות וזכאות

הפרס מוענק למאמר או סדרת מאמרים הכתובים על ידי כותב יחיד או קבוצה, שהופיעו בכתבי-עת המקבלים מאמרים בשיטת ביקורת עמיתים, אך בתנאי שלא עברו 14 שנה מיום פרסום המאמר הראשון בסדרה. פרק זמן זה הוגדר מתוך הכרה שלעיתים נדרש זמן על מנת להעריך את חשיבותה של תגלית מסוימת. אין הגבלה על השפה בה כתוב המאמר.

כל חבר בקהילה המדעית רשאי להציע מאמר כמועמד לפרס. מאמר יחשב כמועמד אם שני אנשים שונים הציעו אותו כמועמד.

החלטה על זוכה

המאמר הזוכה נבחר על ידי ועדה בת שישה חברים. הרכב הוועדה מתחלף מדי שנה, כאשר ליו"ר ACM וליו"ר EATCS זכות לבחור 3 חברים לוועדה, כל-אחד.

קישורים חיצוניים

ראו מדיה וקבצים בנושא זה בוויקישיתוף.

הערות שוליים

  1. ↑ אתר EATCS.
  2. ↑ אתר ACM-SIGACT.
  3. ↑ גדל עסק בנושא זה לראשונה, כפי שהתגלה במכתב ששלח אל ג'ון פון ניומן. ראו אתר פרס גדל ב-ACM-SIGACT.
  4. ↑ Ronald Fagin, Amnon Lotem, and Moni Naor, Optimal aggregation algorithms for middleware, Journal of Computer and System Sciences 66 (2003), pp. 614–656
This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.