Das Max-Planck-Institut für Informatik (MPI-INF) ist ein Institut der Max-Planck-Gesellschaft; es hat seinen Sitz auf dem Campus der Universität des Saarlandes in Saarbrücken und wurde im November 1988 durch einen Beschluss des Senats der Max-Planck-Gesellschaft gegründet. Es nahm seine Arbeit im Dezember 1990 unter dem Gründungsdirektor Kurt Mehlhorn auf. Im darauffolgenden Jahr konnte Harald Ganzinger als zweiter Direktor gewonnen werden.
Den Schwerpunkt seiner wissenschaftlichen Forschung legt das Institut besonders auf Algorithmen und deren Anwendungen im weitesten Sinn. Das Interesse reicht von der Grundlagenforschung (Algorithmen und Komplexität, Automatisierung der Logik) bis zu einer Reihe von Anwendungsbereichen (Computer Vision und Maschinelles Lernen, Internetarchitektur, Computergrafik, Datenbanken und Informationssysteme, Visual Computing und Künstliche Intelligenz). Ziel der Arbeit des Instituts ist es, gleichermaßen durch wissenschaftliche Publikationen, Softwaresysteme und Ausbildung des akademischen Nachwuchses Wirkung zu erzielen.
Das Institut gliedert sich in sechs Abteilungen und drei unabhängige Forschungsgruppen:
Die Arbeitsgruppe Algorithms & Complexity (D1) wurde 1988 unter der Leitung von Kurt Mehlhorn gegründet und wird mittlerweile von Danupon Nanongkai geleitet. Sie beschäftigt sich mit der Effizienz von Algorithmen, der Korrektheit von Software und veröffentlicht diese als Softwarebibliotheken. 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 AG Computer Vision and Machine Learning (D2) wurde im Jahr 2010 gegründet, Leiter ist Bernt Schiele. Die Arbeitsgebiete der Gruppe sind Computervision mit den Schwerpunkten Objekterkennung und 3D-Szenenbeschreibung sowie multisensorbasierte Kontexterkennung im Bereich Ubiquitous und Wearable Computing.
Die 2017 gegründete und von Anja Feldmann geleitete Abteilung Internet Architecture (D3) studiert die Architektur des Internets. Arbeitsgebiete sind unter anderem die kontinuierliche Analyse von Daten und Infrastruktur, Erkennung aktueller Flaschenhälse, die Erkundung neuer Möglichkeiten mit der Infrastruktur zu interagieren, die Entwicklung neuer Netzwerkmanagement- und Sicherheitsmechanismen sowie die Erkundung von Abhängigkeiten der Infrastruktur und wie sie resilienter gestaltet werden kann.
Die AG Computer Graphics (D4) wurde 1999 unter Leitung von 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.
Im Oktober 2003 wurde die AG Databases and Information Systems (D5) unter der Leitung von Gerhard Weikum gegründet. Sie beschäftigt sich mit Qualität von Internet-basierten Informationssystemen, wobei das Langzeitziel die Entwicklung von Methodiken zur Wissensentdeckung darstellt. Dazu werden Konzepte, Modelle und Algorithmen aus Fachgebieten, wie unter anderem der Computerlinguistik und Maschinelles Lernen kombiniert. Ergebnisse der Forschungsarbeit sind als unterschiedliche Projekte veröffentlicht worden, zudem koordinierte die Gruppe bis 2013 das EU-Projekt Longitudinal Analytics of Web Archive data.
Seit September 2005 gibt es die Forschungsgruppe Automation of Logic (RG1), die sich mit dem automatischen Rechnen in Logik beschäftigt. Die Forschungsgruppe wird von Christoph Weidenbach geleitet.
Im Jahr 2020 wurde die Forschungsgruppe Network and Cloud Systems (RG2) unter Yiting Xia gegründet. Forschungsschwerpunkt ist die Entwicklung performanter und kosteneffizienter Netzwerke und System für Cloud Computing mithilfe neuer Hardware, Netzwerkprotokolle und Anwendungen.
2024 wurde die Forschungsgruppe Multimodal Language Processing (RG3) unter Leitung von Vera Demberg etabliert. Ein zentrales Ziel der Gruppe besteht darin, Sprachverarbeitung um weitere Modalitäten wie Gestik und Mimik zu ergänzen.
Historische Arbeitsgruppen
Die ehemalige AG2 Logik der Programmierung wurde 1991 unter Leitung von Harald Ganzinger gegründet und beschäftigte sich mit automatischen Theorembeweisen und deduktiven Methoden der Programmanalyse. Sie war 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 kommissarische Leitung.
Die ehemalige AG3 Bioinformatik und Angewandte Algorithmik wurde 2001 unter Leitung von Thomas Lengauer gegründet und beschäftigte sich mit den Anwendungen der Informatik in der Biologie. Ein Ergebnis der Arbeit der Gruppe ist Geno2pheno, welches anhand mathematischer Modelle für AIDS-Patienten individuelle Listen von Wirkstoffen unter Berücksichtigung der Resistenzen der gefundenen Virusvarianten zusammenstellt.
Die Forschungsgruppe Maschinelles Lernen wurde im Januar 2007 am MPI-INF gegründet und wird seit 2008 an der Universität Potsdam fortgeführt. Ihr Leiter ist Tobias Scheffer.
International Max Planck Research School on Trustworthy Computing
Die International Max Planck Research School on Trustworthy Computing (IMPRS-TRUST) ist ein gemeinsames Graduiertenprogramm des Max-Planck-Instituts für Informatik, des Max-Planck-Instituts für Softwaresysteme (MPI-SWS), der Fachrichtung Informatik an der Universität des Saarlandes und der Fachrichtung Informatik an der Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau in Kaiserslautern, das Nachwuchswissenschaftler in einem internationalen Forschungsumfeld fördert und zur Promotion führt.
Die IMPRS-TRUST ist der Nachfolger der International Max Planck Research School for Computer Science (IMPRS-CS), einer 2000 gegründeten Kooperation mit der Universität des Saarlandes und dem MPI-SWS. Sie war von 2001 bis 2019 aktiv und wurde von Gerhard Weikum geleitet.
↑Bei der Grundsteinlegung 1993 zeigte sich Ministerpräsident Oskar... In: Saarbrücker Zeitung. 10.Februar 1996.
↑Peter Bylda:Den Rechner von übermorgen im Visier
Begehrte Visitenkarte für Informatik-Standort Saar: Max-Planck-Institut wird in dieser Woche offiziell eingeweiht. In: Saarbrücker Zeitung. 17.Juni 1996.
↑ACM Fellows.Association for Computing Machinery,abgerufen am 6.April 2023(englisch).
