Herbrand Award for Prof. T. Nipkow

Leadership in developing the interactive theorem prover Isabelle honored

Prof. Tobias Nipkow

Prof. Tobias Nipkow (Chair for Logic and Verification) will be presented the 2021 Herbrand Award for Distinguished Contributions to Automated Reasoning by the International Conference on Automated Deduction (CADE). The Herbrand award committee honors his leadership in developing the interactive theorem prover (or proof assistant) Isabelle, resulting in key contributions to the foundations, automation, and use of proof assistants in a wide range of applications, as well as his successful efforts in increasing the visibility of automated reasoning. The award will be presented online at CADE-28, the 28th International Conference on Automated Deduction, on July 14th, as part of the award session.
More Information