Herbrand AwardPrize: Research prize RecipientsFranz Baader - , Chair of Automata Theory DescriptionThe 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.”Awarded date2020Degree of recognitionInternationalGranting OrganisationsCADE Inc. KeywordsResearch priority areas of TU DresdenInformation Technology and MicroelectronicsDFG Classification of Subject Areas according to Review BoardsTheoretical Computer ScienceInteractive and Intelligent Systems, Image and Language Processing, Computer Graphics and VisualisationSubject groups, research areas, subject areas according to DestatisTheoretical Computer ScienceArtificial Intelligence
