picture of CP Univ. d. Saarlandes

Claus-Peter Wirth's Home Page

Contact

http://www.ags.uni-sb.de/~cp
wirth AT logic.at
++49 681 401 7634 OFFICE
++49 681 9325 900 SECRETARY MPII (Ms Mueller)
++49 681 302 5005 OFFICE DFKI
++49 681 302 4754 SECRETARY DFKI (Ms Stein)
++49 6432 9249116 OFFICE Diez (ringing muted and only in office but always)
++49 6432 5961    HOME Diez
++49 175 2831589  MOBILE (most of the time completely off, sorry)

Interests

Fields
Mathematical Logic, Theoretical Computer Science, Formal Methods, and German Philosophy.
Specialization
Inductive Theorem Proving (automated and interactive), Free-Variable Calculi, Hilbert's epsilon, Proof Planning, Mathematics Assistance Systems, Conditional Term Rewriting Systems (esp. confluence criteria), History of European Logic from Frege to Bernays.

Selected Publications

Hilbert Bernays Project

Services, Former Affiliations, Memberships

QuodLibet, Drafts, Notions

Private

Bookmarks