Forschungsgebiet

Effiziente Algorithmen und Datenstrukturen sind Grundvoraussetzung für alle anspruchsvollen Computeranwendungen. Algorithmik – die systematische Entwicklung effizienter Algorithmen – ist deshalb entscheidend für die Umsetzung technologischer Möglichkeiten in Anwendungen mit großer Bedeutung für Technik, Wirtschaft, Wissenschaft und unser tägliches Leben. Der Lehrstuhl von Professor Sanders am Institut für Theoretische Informatik beschäftigt sich vor allem mit der „Basic Toolbox“ von Verfahren, die in sehr vielen Anwendungen benötigt werden. Dazu zählen beispielsweise Sortieren, Indexdatenstrukturen, Wegesuche in Graphen oder deren Zerlegung in kompakte Teile. Die Arbeitsgruppe entwickelt auch Open-Source Software zur Lösung dieser Probleme und setzt das erworbene Know-How zur Lösung ausgewählter konkreter Anwendungsprobleme ein.

Auf den ersten Blick ist es erstaunlich, dass es trotz jahrzehntelanger Forschung noch viele offene Probleme bei Basisalgorithmen gibt. Dafür gibt es zwei Gründe. Einerseits haben wir es in den letzten Jahren mit explosiv wachsenden Datenmengen zu tun, die nur noch mit immer komplexerer paralleler Hardware zu bewältigen sind. Dadurch eröffnen sich außerdem zusätzliche, vielseitig benötigte Fragestellungen wie Lastbalancierung und effiziente Kommunikation. Andererseits hat sich in den letzten Jahrzehnten ein Graben zwischen Theorie und Praxis aufgetan. Theoretiker entwerfen ausgefeilte Lösungen mit starken Leistungsgarantien für vereinfachte Fragestellungen, ignorieren dabei aber allzu oft die Implementierbarkeit oder die tatsächlichen Gegebenheiten der Anwendungen und moderner Hardware. Praktiker ignorieren ihrerseits oft theoretische Einsichten und Methoden und gelangen dadurch zu Ad-Hoc-Ansätzen ohne erkennbare Leistungsgarantien. Deshalb steht am Lehrstuhl Sanders die Methodik des Algorithm Engineering im Mittelpunkt, die die beschriebenen Herausforderungen durch eine Integration von realistischer Modellierung, Entwurf, Analyse, Implementierung und experimenteller Evaluierung zu überwinden hilft.

Aktuelles

Ältere Neuigkeiten finden Sie hier.

Award
Dominik Schreiber erhält Auszeichnungen

28.08.2024: Dominik Schreiber erhält für seine Dissertation "Scalable SAT Solving and its Application" zwei Auszeichnungen: zum einen den gemeinsamen Dissertationspreis der Gesellschaft für Informatik, der Österreichischen Computergesellschaft und der Schweizer Informatik Gesellschaft, und zum anderen den Fahiem Bacchus PhD Award in Satisfiability.

mehr
MPI-Library KaMPIng veröffentlicht
MPI-Library KaMPIng veröffentlicht

17.06.2024: Die erste Version des C++ MPI-Wrappers KaMPIng ist erschienen und wurde auf der SPAA vorgestellt. Die Vollversion wurde auf der Supercomputing (SC) angenommen.

mehr
Bild
Daniel Funke verteidigt Dissertation

30.11.2023: Daniel Funke verteidigt sehr erfolgreich seine Dissertation "Algorithms for Triangles, Cones & Peaks".

Bild
Dominik Schreiber verteidigt Dissertation

17.11.2023: Dominik Schreiber verteidigt sehr erfolgreich seine Dissertation "Scalable SAT Solving and its Application".

Bild
Demian Hespe verteidigt Dissertation

21.07.2023: Demian Hespe verteidigt sehr erfolgreich seine Dissertation "Enabling Scalability: Graph Hierarchies and Fault Tolerance".

Bild
Tobias Heuer verteidigt Dissertation

26.10.2022: Tobias Heuer verteidigt sehr erfolgreich seine Dissertation "Scalable High-Quality Graph and Hypergraph Partitioning".

Bild
Mallob gewinnt SAT-Competition

10.07.2020: Der massiv parallele und verteilte SAT Solver "mallob" von Dominik Schreiber hat im Cloud Track der internationalen SAT Competition 2020 mit Abstand den ersten Platz erreicht.

ERC
ERC Advanced Grant

31.03.2020: Peter Sanders erhält einen ERC Advanced Grant für sein Projekt „ScAlBox – Engineering Scalable Algorithms for the Basic Toolbox“. Weitere Informationen finden Sie auf der Fakultätshomepage und der Webpräsenz des Europäischen Forschungsrats.

Bild
ESA "Test-of-Time" Award

08.09.2020: Auf dem European Symposium on Algorithms 2020 hielten Peter Sanders und Ulrich Meyer  (Universität Frankfurt) einen Vortrag zu ihrer Arbeit, für die sie im März 2020 mit dem "Test-of-Time"-Award 2019 ausgezeichnet worden waren. Sie finden den Vortrag hier.

mehr
Bild
ALENEX Steering Committee

06.01.2020: Peter Sanders wurde zum Vorsitzenden des Steering Committes des SIAM Symposium on Algorithm Engineering and Experiments (ALENEX) gewählt. ALENEX ist die wichtigste nordamerikanische Konferenz zum Thema und eine der wichtigsten weltweit.