Herbrand award

Awarded since 1992, the Herbrand Prize is awarded annually to a scientist or research group for their contributions in the area of automated reasoning.

The prize is named after the French mathematician and logician Jacques Herbrand (1908-1931) and is considered the most internationally renowned prize in this area.

List of Herbrand Award recipients

• 1992 Larry Wos, for his outstanding contributions in the area of automated reasoning.
• 1994 Woody Bledsoe, for his outstanding contributions in the area of automated reasoning.
• 1996 Alan Robinson, for his outstanding contributions in the area of automated reasoning.
• 1997 Wu Wen-Tsun, for its outstanding contributions in the area of automated reasoning.
• 1998 Gerard Huet, for his contributions in automated rewriting and deduction systems in high-level logic, as well as many other contributions in the automated reasoning area.
• 1999 Robert Boyer and J Strother Moore, for their work in the automation of inductive inference and its application to hardware and software verification.
• 2000 William W. McCune
• 2001 Donald Loveland, for the development of the process of deletion of models, for his contributions in proof of satisfaction at the Davis-Putnam-Logemann-Loveland process, for his work in the near-Horn Prolog family of calculations for disjunctive logical programming and many other contributions in the area of automated reasoning.
• 2002 Mark Stickel, for his discoveries in associative-commutative unification, reasoning module a theory, indexing terms, and for his contribution in the development of SNARK and PTTP demonstrators, as well as many other contributions in the area of automated reasoning.
• 2003 Peter Andrews, for his contributions, pioneers in the area of type theory, assisted demonstration based on mating, automated deduction in high-level logic, presentation of evidence, education in logic and its many other contributions in the area of automated reasoning.
• 2004 Harald Ganzinger, for his work that has served as the basis for automated deduction systems; the extent of his research, which covers virtually all areas of deduction, and the depth of his results in each of them; as well as his effective contributions to the development of systems and implementation techniques.
• 2005 Martin Davis
• 2006 Wolfgang Bibel
• 2007 Alan Bundy
• 2008 Edmund M. Clarke
• 2009 Deepak Kapur
• 2010 David Plaisted
• 2011 Nachum Dershowitz
• 2012 Melvin Fitting
• 2013 Greg Nelson
• 2014 Robert Lee Constable
• 2015 Andrei Voronkov
• 2016 Zohar Manna and Richard Waldinger