Christoph Walther (born 9 August 1950)
is a German computer scientist, known for his contributions to
automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a majo ...
.
He is
Professor emeritus
''Emeritus/Emerita'' () is an honorary title granted to someone who retirement, retires from a position of distinction, most commonly an academic faculty position, but is allowed to continue using the previous title, as in "professor emeritus".
...
at
Darmstadt University of Technology
Darmstadt () is a city in the States of Germany, state of Hesse in Germany, located in the southern part of the Frankfurt Rhine Main Area, Rhine-Main-Area (Frankfurt Metropolitan Region). Darmstadt has around 160,000 inhabitants, making it the ...
.
''Professuren und Gruppenleitungen''
(Section ''Emeriti und Professoren im Ruhestand'') at Darmstadt University Web Site
Selected publications
On
automated theorem proving
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a majo ...
*
*
*
*
*
*
*
*
*
*
*
On automated
termination analysis
In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for ''each'' input. This means to determine whether the input program computes a ''total'' function.
It is ...
*
*
*
*
*
*
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
{{DEFAULTSORT:Walther, Christoph
1950 births
Living people
German computer scientists
Technische Universität Darmstadt alumni
Karlsruhe Institute of Technology alumni