Claus-Peter Wirth's Home Page

Visiting Senior Research Fellow, Department of Philosophy, King's College London

Contact

wirth AT logic.at

++49 176 21624290   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

Selected Publications, Hilbert Bernays Project, QuodLibet

Bookmarks, Drafts, Notions, Services, Former Affiliations, Memberships

Mirrors of this Web Site

http://www.ags.uni-sb.de/~cp
http://wirth.bplaced.net