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 publicly funded body for foundation research.

Max Planck Institute for Informatics
Institute's logo
Formation1993; 29 years ago (1993)
Typeresearch institute
HeadquartersSaarbrücken, Saarland, Germany

Research departmentsEdit

Max Planck Institute for Informatics at Saarbrücken

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.[1] 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 (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.

The International Max Planck Research School for Computer Science (IMPRS-CS) 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.

See alsoEdit


  1. ^ "Max-Planck-Institut für Informatik: Departments".

External linksEdit

  • Max Planck Institute for Informatics Homepage
  • International Meeting Place and Research Centre for Computer Science in Dagstuhl Castle
  • International Max Planck Research School for Computer Science

Coordinates: 49°15′28″N 7°2′44″E / 49.25778°N 7.04556°E / 49.25778; 7.04556