Max Planck Institute for Informatics
Appearance
The Max Planck Institute for Informatics is devoted to cutting-edge research in computer science with a focus on algorithms and their applications in a broad sense. The research ranges from foundations (algorithms and complexity, programming logics) to a variety of application domains (computer graphics, geometric computation, constraint solving, computational biology).
The institute consists of five research units:
- Algorithms and Complexity Group is headed by Prof. Dr. Kurt Mehlhorn, and the
- Programming Logics Group is headed by Prof. Dr. Harald Ganzinger
- Computational Biology and Applied Algorithmics is headed by Prof. Dr. Thomas Lengauer, Ph.D.
- Computer Graphics is headed by Prof. Dr. Hans-Peter Seidel
- Databases and Information Systems Group is headed by Prof. Dr. Gerhard Weikum
Since January 2002 three independent research groups have been established:
- Static Analysis Group headed by Dr. Bruno Blanchet
- Discrete Optimization Group headed by Dr. Friedrich Eisenbrand
- Graphics - Optics - Vision Group, headed by Dr. Marcus Magnor