Max Planck Institute for Informatics
The Max Planck Institute for Informatics is a research institute in computer science with a focus on algorithms and their applications in a broad sense. It hosts fundamental research as well a research for various application domains. It is part of the Max-Planck-Gesellschaft, Germany's largest publicly funded body for foundation research.Research departments
As of early 2018 the institute had five directors, called scientific members. These are:
In addition to the departments, the institute hosts the research group on automation of logic, lead by Christoph Weidenbach. The programming logics department was, until his death in 2004, led by Harald Ganzinger. The independent research group on computational genomics and epidemiology was led by Alice McHardy.
The institute, along with the Max Planck Institute for Software Systems, the German Research Centre for Artificial Intelligence and the entire Computer Science department of Saarland University, is involved in the Internationales Begegnungs- und Forschungszentrum für Informatik.
The International Max Planck Research School for Computer Science is the graduate school of the MPII and the MPI-SWS. It was founded in 2000 and offers a fully funded PhD-Program in cooperation with Saarland University. Dean is Gerhard Weikum.
