Focus: Models and Algorithms
Modellbildung in der Informatik erfolgt in der Regel durch eine Kombination von logischen Spezifikationen und diskreten mathematischen Strukturen. Um realistischere Abbilder der Wirklichkeit zu erhalten, werden oftmals probabilistische Modelle verwendet. Profilbildend für diesen Schwerpunkt ist die ausgewiesene Kompetenz in den Bereichen probabilistische Methoden und logische Systeme in ihrem Bezug auf algorithmische Fragestellungen. Forschungsgegenstand sind die Prinzipien, die der effizienten Lösbarkeit von Problemen in verschiedenen Anwendungsbereichen der Informatik zu Grunde liegen.
Der Schwerpunkt "Modelle und Algorithmen" ist vielfältig und in hervorragender Weise in das Berliner Umfeld eingebunden. Durch die Zusammenarbeit des Schwerpunktes mit dem Institut für Mathematik der Humboldt-Universität sowie den Informatik- und Mathematik-Fachbereichen an der Freien Universität, Technischen Universität und dem Zuse-Institut Berlin ist Berlin in den letzten Jahren zu einem europaweit führenden Kompetenzzentrum für algorithmische Fragestellungen an der Schnittstelle zwischen Informatik und Mathematik avanciert. Die erfolgreiche Vernetzung wird insbesondere deutlich in dem DFG-Forschungszentrum "Matheon", sowie auch in dem Graduiertenkolleg "Combinatorics, Geometry, and Computation" und der DFG-Forschergruppe "Algorithmen, Struktur und Zufall".
Beteiligte Arbeitsgruppen
Der Schwerpunkt wird getragen von den Arbeitsgruppen
- Algorithmen und Komplexität (Prof. Prömel),
- Komplexität und Kryptografie (Prof. Köbler),
- Logik in der Informatik (Prof. Grohe),
- Logik und Datenbanktheorie (Prof. Schweikardt) und
- Logik und Diskrete Systeme (Prof. Kreutzer).
Kontakt
Sprecher: Prof. Dr. Hans Jürgen Prömel
Postadresse:
Institut für Informatik
Unter den Linden 6
D-10099 Berlin
Deutsch