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