פרס הרברנד

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
פרס הרברנד
Herbrand Award
תיאור פרס בתחום מדעי המחשב
הגוף המעניק Conference on Automated Deduction עריכת הנתון בוויקינתונים
נוסד 1992 עריכת הנתון בוויקינתונים
נקרא על שם Jacques Herbrand עריכת הנתון בוויקינתונים
cadeinc.org/Herbrand-Award
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית OOjs UI icon info big.svg

פרס הרברנד עבור תרומה ייחודית לחשיבה אוטומטיתאנגלית: Herbrand Award) הוא פרס המוענק על ידי .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: לורנס פאולסון

קישורים חיצוניים[עריכת קוד מקור | עריכה]