פרס הרברנד

פרס הרברנד עבור תרומה ייחודית לחשיבה אוטומטית (באנגלית: 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

*
הרברנד