Aufbau des Instituts

Seit seiner Eröffnung im Dezember 1990 nahmen im Institut fünf Abteilungen, die das Forschungsprogramm durchführen sollen, ihre Arbeit auf. Es sind dies die:

Abteilung 1: Algorithmen und Komplexität unter der Leitung von Prof. Dr. Kurt Mehlhorn
Abteilung 2: Logik der Programmierung wurde geleitet von Prof. Dr. Harald Ganzinger († June 3, 2004). Zur Zeit wird die Abteilung von Prof. Dr. Thomas Lengauer, Ph.D. geleitet. Der wissenschafliche Leiter ist Prof. Dr. Andreas Podelski.
Abteilung 3: Bioinformatik und Angewandte Algorithmik unter der Leitung von Prof. Dr. Dr. Thomas Lengauer
Abteilung 4: Computergrafik unter der Leitung von Prof. Dr. Hans-Peter Seidel
Abteilung 5: Datenbanken and Informationssysteme unter der Leitung von Prof. Dr. Gerhard Weikum

Seit September 2005 existiert eine neue Arbeitsgruppe im Institut:

Forschungsgruppe 1: Automatisierung der Logik unter der Leitung von Prof. Dr. Christoph Weidenbach

Seit Januar 2002 existieren zwei selbstständige Nachwuchsgruppen im Institut:

Nachwuchsgruppe 2: Diskrete Optimierung unter der Leitung von PD Dr. Friedrich Eisenbrand
Nachwuchsgruppe 3: Graphics - Optics - Vision Group unter der Leitung von Dr. Marcus Magnor

Zur Zeit arbeiten im Institut ca. 80 Forscher, Doktoranden und promovierte Mitarbeiter. Das wissenschaftliche Personal wird komplettiert durch eine Verwaltung, Rechnerbetriebsgruppe, Bibliothek, die Abteilung für Forschungskoordination und die Haustechnik.