We’re proud to annouce that Franz Baader, one of our principal investigators, has been bestowed the Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics.
Franz Baader is an expert in knowledge representation and automated deduction, focusing on formal analysis and applications of description logic reasoning, as well as its combination with reasoning in other logics. Through his work In CPEC projects A3 and E1, he is establishing a framework for explication of foundational reasoning services, and is working on the visualisation of explications in cooperation with Raimund Dachselt.