News Archives

  • UNM
  • >Home
  • >News
  • >2009
  • >June
  • >Distinguished Professor Deepak Kapur Receives the Herbrand Award for Contributions to Automated Deduction

Distinguished Professor Deepak Kapur Receives the Herbrand Award for Contributions to Automated Deduction

June 29, 2009

Distinguished Professor Deepak Kapur will receive the prestigious Herbrand award at the 22nd International Conference on Automated Deduction (CADE) in Montreal in August. The award is in recognition of Professor Kapur's seminal contributions to several areas of automated deduction including inductive theorem proving, geometry theorem proving, term rewriting, unification theory, integration and combination of decision procedures, lemma and loop invariant generation, as well as his work in computer algebra, which helped to bridge the gap between the two areas. Named after the French mathematician Jacques Herbrand, the award was established in 1992 by CADE to honor an individual or a group of individuals for exceptional contributions to the field of automated deduction. The Herbrand Award, the most prestigious award in this field, is decided by the CADE trustees, former recipients, and the current program committee of CADE. Professor Kapur's research in the field of automated deduction includes mechanization of logical, algebraic and geometric reasoning and their applications to formal methods such as program analysis and hardware verification, as well as image understanding. Professor Kapur served as the editor-in-chief of the Journal of Automated Reasoning, the premier journal in the area of automated deduction, from 1993-2007.

Congratulations, Deepak!