Max-Planck-Institut für Informatik (MPII)

Das Max-Planck-Institut für Informatik widmet sich der Forschung der Computertechnologie und legt dabei einen besonderen Schwerpunkt 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).
Die Informatik wird als ein Bereichbetrachtet, der danach strebt, den Einsatz von Rechnern auf ein tiefgehendes Verständnis der zugrunde liegenden Prinzipien der Berechnungsmethoden zu fundieren. Das umfasst die mathematische und/oder formale Untersuchung von Algorithmen, wo immer dies möglich ist. Folglich ist die Grundlagenforschung in diesem Bereich teilweise stark mathematisch geprägt. Ein Teil dieser Forschung gehört zu den etablierten Feldern der theoretischen Informatik (Algorithmen und Komplexität, Logik der Programmierung).

Projekte in Smart Mobility:

• Die Vernetzung im Rahmen der Smart Mobility beruht auf der Verwendung von robusten und effizienten Algorithmen.
• Das Max-Planck Institut für Informatik in Saarbrücken hat die Erforschung und Entwicklung von solchen Algorithmen sich zum Ziel gesetzt. Anwendung finden diese Algorithmen bei Computergraphik, Geometric Computation, Constraints Solving, Programmverifikation, Datenbanken und Informationssysteme.

Standorte:

• Saarbrücken

Geschäftsfelder:

Fachbereiche:
• Algorithms & Complexity
• Computer Vision and Multimodal Computing
• Internet Architecture
• Computer Graphics
• Databases and Information Systems
• Research Group Computational Biology
• Automation of Logic