Premio Herbrand - Herbrand Award
El Premio Herbrand por Contribuciones Distinguidas al Razonamiento Automatizado es un premio otorgado por la Conferencia sobre Deducción Automatizada (CADE), Inc., (aunque es anterior a la incorporación formal del 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 Internacional Conjunta sobre Razonamiento Automatizado (IJCAR). Viene con un premio de US $ 1,000. Cualquiera puede ser nominado, el premio se otorga después de una votación entre los fideicomisarios del CADE y los antiguos beneficiarios, generalmente con aportes del comité del programa CADE / IJCAR.
Destinatarios
Los ganadores de premios anteriores son:
Decenio de 1990
- Larry Wos (1992)
- Woody Bledsoe (1994)
- John Alan Robinson (1996)
- Wu Wenjun (1997)
- Gérard Huet (1998)
- Robert S. Boyer y J Strother Moore (1999)
2000
- William W. McCune (2000)
- Donald W. Loveland (2001)
- Mark E. Stickel (2002).
- Peter B. Andrews (2003)
- Harald Ganzinger (2004)
- Martin Davis (2005)
- Wolfgang Bibel (2006)
- Alan Bundy (2007)
- Edmund M. Clarke (2008)
- Deepak Kapur (2009)
2010
- David Plaisted (2010)
- Nachum Dershowitz (2011)
- Melvin Fitting (2012)
- C. Greg Nelson (2013)
- Robert L. Constable (2014)
- Andrei Voronkov (2015)
- Zohar Manna y Richard Waldinger (2016)
- Lawrence C. Paulson (2017)
- Bruno Buchberger (2018)
- Nikolaj Bjørner y Leonardo de Moura (2019)
2020
- Franz Baader (2020)
- Tobias Nipkow (2021)
Ver también
- Lista de premios de informática
- Premio Jacques Herbrand - por la Academia Francesa de Ciencias, para matemáticas y física