ETH Zurich picture of CP

Claus-Peter Wirth's Home Page


wirth AT
+49_160_217_3333 Mobile 
+49_6432_9249116 Office

Areas of Expertise

Computer Science
Formal Methods
Artificial Intelligence
History of Logic and Philosophy Hochschule Harz -- University of Applied Serverices Univ. d. Saarlandes


Algebraic Specification, Conditional Term Rewriting,
Confluence Theorems, Hilbert's epsilon (applied!),
Inductive Theorem Proving (automated/interactive),
Free-Variable Calculi, Proof Planning,
Mathematics Assistance Systems,
Hilbert's Program, P. Bernays, J. Herbrand King's College London SICSA - Distinguished Visitor Reports

Selected Publications

Hilbert--Bernays Project, QuodLibet, Ratiolog Project

Bookmarks, Drafts, Notions, Services, Former Affiliations and Late Colleagues, Memberships

Mirrors of this Web Site,