Claus-Peter Wirth's Home Page
Contact
http://www.ags.uni-sb.de/~cp
wirth AT logic.at
++49 152 07198176 MOBILE
++49 681 857754754 SECRETARY DFKI (Ms Stein)
++49 6897 763752 HOME Saarbrücken
++49 6432 9249116 OFFICE Diez (ringing muted and only in office but always)
++49 6432 5961 HOME Diez
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
