Skip to content Skip to footer

Herbrand Award

Prize: Research prize


The Herbrand Award for Distinguished Contributions to Automated Reasoning is awarded by CADE Inc. “to honor an individual or (a group of) individuals for exceptional contributions to the field of Automated Deduction.”
Degree of recognitionInternational
Granting OrganisationsCADE Inc.


Research priority areas of TU Dresden

Subject groups, research areas, subject areas according to Destatis