Max Planck Institute for Informatics

The Max Planck Institute for Informatics (German: Max-Planck-Institut für Informatik, abbreviated MPI-INF or MPII) is a research institute in computer science with a focus on algorithms and their applications in a broad sense. It hosts fundamental research (algorithms and complexity, programming logics) as well a research for various application domains (computer graphics, geometric computation, constraint solving, computational biology). It is part of the Max-Planck-Gesellschaft, Germany's largest society for fundamental research.

The research institutes of the Max Planck Society have a national and international reputation as “Centres of Excellence” for pure research.

The institute consists of five departments and two research groups:

Previously, it included the following departments:

Members of the institute have received various awards. Kurt Mehlhorn (in 1986) and Hans-Peter Seidel (in 2003) received the Gottfried Wilhelm Leibniz Prize, Kurt Mehlhorn (in 1995) and Thomas Lengauer (in 2003) received the Konrad-Zuse-Medal, and in 2004 Harald Ganzinger received the Herbrand Award.

The institute, along with the Max Planck Institute for Software Systems (MPI-SWS), the German Research Centre for Artificial Intelligence (DFKI) and the entire Computer Science department of Saarland University, is involved in the Internationales Begegnungs- und Forschungszentrum für Informatik.

...
Wikipedia