Christoph Walther (nacido el 9 de agosto de 1950) [1] es un informático alemán, conocido por sus contribuciones a la demostración automatizada de teoremas . Es profesor emérito de la Universidad Tecnológica de Darmstadt . [2]