Christoph Walther

Christoph Walther
Born (1950-08-09) August 9, 1950
Alma mater Karlsruhe University
Thesis A Many-Sorted Calculus Based on Resolution and Paramodulation (1984)
Doctoral advisor Peter Deussen
Doctoral students Jürgen Giesl, Josef Schneeberger
Known for Walther recursion

Christoph Walther (born 9 Aug 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]

Selected publications

On automated program termination analysis

On the VeriFun verification system for functional programs

On order-sorted resolution

On induction proving

References

  1. Simon Siegler and Nathan Wasser, ed. (2010). "Preface". Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. LNAI. 6463. Springer. ISBN 978-3-642-17171-0.
  2. Professuren und Gruppenleitungen (Section Emeriti und Professoren im Ruhestand) at Darmstadt University Web Site

External links

This article is issued from Wikipedia - version of the 6/29/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.