Christoph Walther
German computer scientist (born 1950)
About Christoph Walther
Born 1950. Christoph Walther is a computer scientist and university teacher, known for Walther recursion.
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
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped Christoph Walther's
Frequently asked questions
Who is Christoph Walther?
German computer scientist (born 1950)
When was Christoph Walther born?
Christoph Walther was born on 9 August 1950.
What is Christoph Walther's occupation?
Christoph Walther is a computer scientist and university teacher.
What is Christoph Walther known for?
Christoph Walther is known for Walther recursion.
Sources & further reading
· Wikipedia: Christoph Walther
Cite this page
APA: Biography.guide. (2026). Christoph Walther. https://biography.guide/christoph-walther/
MLA: "Christoph Walther." Biography.guide, https://biography.guide/christoph-walther/.
Chicago: "Christoph Walther." Biography.guide. https://biography.guide/christoph-walther/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:03 UTC