פרס הרברנד
| תיאור | פרס בתחום מדעי המחשב |
|---|---|
| הגוף המעניק |
Conference on Automated Deduction  |
| תקופת הפרס |
1992–הווה (כ־32 שנים) |
| נקרא על שם |
Jacques Herbrand |
|
cadeinc | |
  | |
פרס הרברנד עבור תרומה ייחודית לחשיבה אוטומטית (באנגלית: Herbrand Award) הוא פרס המוענק על ידי Conference on Automated Deduction (.CADE inc). הפרס ניתן לאדם או קבוצה עבור תרומה חשובה להוכחת משפט אוטומטיות. הפרס נקרא על שם המדען הצרפתי ז'אק הרברנד ומוענק בכנס CADE או IJCAR. גובה הפרס המוענק הוא כאלף דולרים אמריקנים. הפרס מוענק לאחר הצבעה של נאמני CADE וזוכי העבר.
זוכי הפרס[עריכת קוד מקור | עריכה]
- 1992: לארי ווס
- 1994: וודי בלדסו
- 1996: ג'ון אלן רובינסון
- 1997: וו ונג'ון
- 1998: ג'רארד היוט
- 1999: רוברט אס. בוייר וג'יי. סטרות'ר מור
- 2000: ויליאם מקיואן
- 2001: דונלד לאבלנד
- 2002: מארק סטיקל
- 2003: פיטר אנדרוס
- 2004: הארלד גנזינגר
- 2005: מרטין דייוויס
- 2006: וולפגנג ביבל
- 2007: אלאן באנדי
- 2008: אדמונד קלארק
- 2009: דיפאק קאפור
- 2010: דייוויד פלאיסטד
- 2011: נחום דרשוביץ
- 2012: מלווין פיטינג
- 2013: גרג נלסון
- 2014: רוברט קונסטבל
- 2015: אנדריי וורונקוב
- 2016: זהר מנה וריצ'רד וולדינגר
- 2017: לורנס פאולסון
- 2018: ברונו בוכברגר
- 2019: ניקולאי ביורנר ולאונרדו דה מורה
- 2020: פרנץ באדר
- 2021: טוביאס ניפקאו
- 2022: נטראג'אן שנקר
קישורים חיצוניים[עריכת קוד מקור | עריכה]
אתר האינטרנט הרשמי של פרס הרברנד- דף הזוכים באתר CADE
