The International Max Planck Research School on Trustworthy Computing (IMPRS-TRUST) is a graduate program jointly run by the Max Planck Institute for Informatics, the Max Planck Institute for Software Systems, the Computer Science Department at Saarland University, and the Computer Science Department at TU Kaiserslautern.
By: Uwe Waldmann
Human mathematicians prove a theorem by combining individual computation steps. This is a rather trivial task for a computer program once the necessary steps are known. For automatized processes, however, choosing which steps to execute is similar to looking for a needle in an infinitely large haystack. The research group "Automation of Logic" is one of the world leaders in developing efficient automated theorem provers.