Show/hide main menu

Claus-Peter Wirth

Dr Claus-Peter Wirth

Photograph of Dr Claus-Peter WirthVisiting Research Fellow

 

Email wirth@logic.at

 

 

 

Biography

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

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