Max Planck Institute for Informatics

The Max Planck Institute for Informatics is devoted to cutting-edge research in computer sciencewith a focus on algorithms and their applications in a broad sense. The research ranges from foundations (algorithmsand 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

External links

Max Planck Institute for Informatics Homepagede:Max-Planck-Institut für Informatik

This article is licensed under the GNU Free Documentation License.
It uses material from the http://en.wikipedia.org/wiki/Max+Planck+Institute+for+Informatics Wikipedia article Max Planck Institute for Informatics.