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.
