Max Planck Institute for Informatics
From Free net encyclopedia
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). It is part of the Max-Planck-Gesellschaft, Germany's largest society for fundamental research.
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
Prof. Dr. Thomas Lengauer is currect acting director of the Programming Logic Group, as Prof. Dr. Harald Ganzinger passed away on June 3rd, 2004.
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
[edit]