User:Thetna123/Christoph Weidenbach

Christoph Weidenbach is a German Computer Scientist. He is the head of research group Automation of Logic in Max Planck Institute for Informatics, Saarbrucken Germany and adjunct professor in Saarland University.His group has developed SPASS, a first order logic theorem prover with Equality.