Dr Claus-Peter Wirth
Visiting Research Fellow
Claus-Peter Wirth has been a member of the Association for Automated Reasoning since 1994 and has worked in automated and human-oriented inductive theorem proving since 1990. He holds a Dr. rer. nat. from the University of Kaiserslautern in informatics, and was a member of the Collaborative Research Centre SFB 378 Resource-Adaptive Cognitive Processes at the Saarland University for many years.
He was a fellow of the Max Planck Institute for Informatics and a SICSA distinguished visiting fellow. Besides his research in free-variable frameworks, Hilbert's epsilon, and Fermat's descente infinie, he is translator and editor of Hilbert & Bernays' Foundations of Mathematics.