Claus-Peter Wirth's Home Page
Visiting Senior Research Fellow, Department of Philosophy, King's College London
Contact
wirth AT logic.at
++49 160 2173333 Mobile Phone
++49 6432 9249116 Diez (mute and in office only, no answering machine)
++49 6432 924495 Diez (answering machine)
Areas of Expertise
Logic
Theoretical Computer Science
Formal Methods
Artificial Intelligence
Specialization
(Co-) Inductive Theorem Proving (automated/interactive),
Conditional Term Rewriting, Confluence Theorems,
Hilbert's epsilon, Free-Variable Calculi,
Proof Planning,
Mathematics Assistance Systems,
Efficient Algorithms,
Algebraic Specification,
Hypertext Web Models,
History of Philosophy and Logic
Mirrors of this Web Site
http://www.ags.uni-sb.de/~cp
http://wirth.bplaced.net
