Spotlights


By: Uwe Waldmann

Automated Deduction

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.


By: Felipe Albrecht and Fabian Müller

EpiExplorer and RnBeads: Integrative Analysis of Epigenomic Data

The packing of the DNA in a cell's nucleus determines if and to what degree genes encoded in the DNA can be translated and regulated. Software tools developed at the Max Planck Institute for Informatics facilitate the analysis and interpretation of this epigenetic information.