Herbrand Award
The Herbrand Award is a $ 1,000 science award from the Conference on Automated Deduction (CADE). It has been awarded annually since 1992. It is awarded to a scientist for outstanding contributions to automatic theorem proving . The prize is named after the French logician and mathematician Jacques Herbrand . It is the most prestigious international research award in this field.
Award winners
- 1992 Larry Wos
- 1994 Woody Bledsoe
- 1996 John Alan Robinson
- 1997 Wu Wenjun
- 1998 Gérard Huet
- 1999 Robert S. Boyer and J Strother Moore
- 2000 William McCune
- 2001 Donald Loveland
- 2002 Mark Stickel
- 2003 Peter B. Andrews
- 2004 Harald Ganzinger
- 2005 Martin Davis
- 2006 Wolfgang Bible
- 2007 Alan Bundy
- 2008 Edmund M. Clarke
- 2009 Deepak Kapur
- 2010 David Plaisted
- 2011 Nachum Dershowitz
- 2012 Melvin Fitting
- 2013 Greg Nelson
- 2014 Robert L. Constable
- 2015 Andrei Voronkov
- 2016 Zohar Manna and Richard Waldinger
- 2017 Lawrence C. Paulson
- 2018 Bruno Buchberger
- 2019 Nikolaj Bjørner and Leonardo de Moura