Show/hide main menu

Claus-Peter Wirth

Dr Claus-Peter Wirth

Photograph of Dr Claus-Peter WirthVisiting 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.


Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454