El premio Herbrand por contribuciones destacadas al razonamiento automático es un premio otorgado por la Conferencia sobre Deducción Automatizada (CADE), Inc. (aunque es anterior a la incorporación formal de CADE) para honrar a personas o grupos por contribuciones importantes al campo de la deducción automática . El premio lleva el nombre del científico francés Jacques Herbrand y se otorga como máximo una vez por CADE o Conferencia Conjunta Internacional sobre Razonamiento Automatizado (IJCAR). Viene con un premio de US$1.000. Cualquier persona puede ser nominada, el premio se otorga después de una votación entre los fideicomisarios de CADE y los antiguos destinatarios, generalmente con el aporte del comité de programa CADE/IJCAR.
Los ganadores anteriores del premio son: