Max-Planck-Institut für Informatik

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten (Unterschied zur vorletzten Version).

Das Max-Planck-Institut für Informatik (MPII) hat seinen Sitz in Saarbrücken und wurde 1988 gegründet.

Das Max-Planck-Institut für Informatik richtet seine wissenschaftliche Forschung besonders auf Algorithmen und ihre Anwendungen im weitesten Sinn. Das Interesse reicht von der Grundlagenforschung (Algorithmen und Komplexität, Logik der Programmierung) bis zu einer Reihe von Anwendungsbereichen (Computergraphik, Geometric Computation, Constraint Solving, Programmverifikation, Datenbanken und Informationssysteme, Bioinformatik). Ziel des Instituts ist es, gleichermaßen durch wissenschaftliche Publikationen, Softwaresysteme und Ausbildung des akademischen Nachwuchses Wirkung zu erzielen.

Indikatoren für den Erfolg sind zahlreiche Auszeichnungen seit Bestehen des Instituts: u.a. wurden Prof. Dr. Kurt Mehlhorn 1986 und Prof. Dr. Hans-Peter Seidel 2003 als Leibniz-Preisträger sowie und Prof. Thomas Lengauer 2003 als Träger der Konrad-Zuse-Medaille ausgezeichnet.

Inhaltsverzeichnis

1 Arbeitsgruppen
2 Research School
3 Max Planck Center for Visual Computing and Communication
4 Forschungsumfeld
5 Siehe auch
6 Weblinks

[Bearbeiten] Arbeitsgruppen

Das MPII gliedert sich in fünf Arbeitsgruppen:

Die AG1 „Algorithmen und Komplexität“ wurde 1988 unter der Leitung von Prof. Dr. Kurt Mehlhorn gegründet und beschäftigt sich mit der Komplexität von Algorithmen, dem Finden von Heuristiken für NP-vollständige Probleme und mit geometrischen Algorithmen. Von dieser Arbeitsgruppe wurden unter Anderem die Softwarebibliotheken LEDA (Library of Efficient Data types and Algorithms), CGAL (Computational Geometry Algorithms Library) und SILVIA (Simulation Library for Virtual Reality and Interactive Applications) entwickelt.

Die AG2 „Logik der Programmierung“ wurde 1991 unter Leitung von Prof. Dr. Harald Ganzinger gegründet und beschäftigt sich mit automatischen Theorembeweisen und deduktiven Methoden der Programmanalyse. Sie ist beteiligt an den Projekten Verisoft zur Verifikation von sicherheitsrelevanter Software und AVACS zur ganzheitlichen Strategien der Softwareverifikation. Nach dem Tod Ganzingers am 3. Juni 2004 übernahm Thomas Lengauer die kommisarische Leitung.

Die AG3 „Bioinformatik und Angewandte Algorithmik“ wurde 2001 unter Leitung von Prof. Thomas Lengauer gegründet und beschäftigt sich mit den Anwendungen der Informatik in der Biologie.

Die AG4 „Computergrafik“ wurde 1998 unter Leitung von Prof. Dr. Hans-Peter Seidel gegründet und beschäftigt sich mit Analyse und Synthese von dreidimensionalen Bildern, sowie der Entwicklung von Modellen und Tools, die das große Datenaufkommen bei der Erfassung und Verarbeitung von Bilddaten handhaben können. Außerdem werden Algorithmen für die Bildverarbeitung entwickelt und in der Praxis erprobt.

Zuletzt wurde im Oktober 2003 die AG5 „Datenbanken und Informationssysteme“ unter Leitung von Prof. Dr. Gerhard Weikum gegründet.Sie beschäftigt sich mit Qualität von Internet-basierten Informationssystemen wobei die Korrektheit bewiesen und Antwortzeiten garantiert werden sollen. Außerdem sollen die Systeme hoch verfügbar sein und befriedigende Ergebnisse liefern. Die Arbeitsgruppe nimmt Teil an den EU Projekten DELIS (Dynamically Evolving Large-Scale Information Systems) und DELOS, sowie den deutschen Forschungsprojekten P2E2 zur Erforschung von Netzwerken zwischen Industriefirmen und CLASSIX zur Beschaffung von Informationen aus XML basierten Daten.

Seit September 2005 gibt es die Forschungsgruppe „Automation of Logic“, die sich mit dem automatischen Rechnen in Prädikatenlogik beschäftigt. Die Nachwuchsgruppe wird von Dr. Christoph Weidenbach geleitet.

In der Zeit seines Bestehens gab es bisher drei unabhängige Forschungsgruppen:

Statische Analyse von Programmen (nach dem Ausscheiden Dr. Bruno Blanchets im Jahr 2004 ausgelaufen)
Diskrete Optimierung (unter der Leitung von Prof. Dr. Friedrich Eisenbrand, seit Dezember 2005 an der Universität Dortmund, Lehrstuhl Informatik 2)
Grafik - Optik - Vision (unter der Leitung von Dr. Marcus Magnor), seit Anfang 2006 als Institut für Computergraphik an der Technischen Universität Braunschweig weitergeführt

[Bearbeiten] Research School

In Kooperation mit der Universität des Saarlandes wurde im Jahr 2000 die International Max Planck Research School for Computer Science (IMPRS-CS) gegründet. Hier werden in einem internationalen Umfeld Nachswuchswissenschaftler gefördert und zur Promotion geführt. Dekan ist Prof. Dr. Gerhard Weikum.

[Bearbeiten] Max Planck Center for Visual Computing and Communication

Mit dem Max Planck Center for visual computing and communication (MPC-VCC) wurde im Oktober 2003 eine Kooperation der Max-Planck-Gesellschaft und der Stanford Universität eingerichtet. Sie soll auf dem Forschungsgebiet der Informationstechnologie, dem „Visual Computing and Communication“ (Visuelles Rechnen und Kommunizieren) gemeinsame Forschungsprojekte ermöglichen. Ein weiteres Ziel der Kooperation ist es, einen internationalen Austausch von Wissenschaftlern zu schaffen. Die Leitung des MPC-VCC auf deutscher Seite übernimmt Prof. Dr. Hans-Peter Seidel, in Stanford ist der Leiter Prof. Bernd Girod.