Christoph Walther

Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving. He is Professor emeritus at Darmstadt University of Technology.

Selected publications

On automated theorem proving

On automated termination analysis

On the VeriFun verification system for functional programs

On many-sorted unification, resolution and paramodulation

On induction proving

References

External links

• Christoph Walther's home page at Darmstadt University
• VeriFun System at Darmstadt University