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

09.07.2021: Das skalierbare SAT-Solving-System Mallob von Dominik Schreiber dominiert in der AWS-Umgebung der International SAT Competition 2021 den Cloud Track (auf insgesamt 1600 Hardwarethreads) und erweist sich gleichzeitig im Parallel Track (auf 64 Hardwarethreads) als sehr kompetitiv. Alle Ergebnisse finden Sie hier.

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.

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. Weitere Informationen finden Sie hier.

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.

16.03.2020: Die Algorithmen-II-Klausur am Freitag, den 20.03.2020, findet nicht statt. Weitere Informationen finden Sie hier.

März 2020: Peter Sanders erhält zusammen mit Ulrich Meyer (Universität Frankfurt) den "Test-of-Time"-Award 2019 des European Symposium on Algorithms (ESA), der auf der ESA 2020 verliehen wird. ESA ist die wichtigste europäische Konferenz zur Algorithmenforschung. Weitere Informationen finden Sie hier.

08.01.2020: Peter Sanders wurde zum PC chair des European Symposium on Algorithms (ESA) (track B - Algorithm Engineering) ernannt. ESA ist die führende europäische Konferenz zum Thema Algorithm Engineering.

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.
 

27.12.2019: Prof. em. Dr. Peter Deussen, einer der Gründungsväter der Fakultät für Informatik in Karlsruhe, ist im Alter von 84 Jahren verstorben. Er war der Vorgänger von Prof. Dr. Peter Sanders als Inhaber der Professur für Theoretische Informatik. Weitere Informationen finden Sie hier

12.12.2019: Das Gauss Centre for Supercomputing hat für unser Projekt "MasDA: Massively Scalable Discrete Algorithms for the Basic Toolbox" 22,5 Millionen Stunden Rechnerzeit bewilligt.

22.11.2019: Prof. Dr. Peter Sanders wurde für das Fachkollegium Informatik der DFG wiedergewählt und erzielte im Fach "Theoretische Informatik" die höchste Stimmenzahl. Weitere Informationen gibt es hier.

08.10.2019: Best Paper Award SPIRE 2019 für "COBS: A Compact Bit-Sliced Signature Index" von Timo Bingmann, Phelim Bradley, Florian Gauger, und Zamin Iqbal. Mehr Informationen finden sie hier.

11.09.2019 Zwei aktuelle und zwei ehemalige Mitglieder der Gruppe belegen den ersten Platz bei der vierten "Parameterized Algorithms and Computational Experiments Challenge" (PACE). Weitere Informationen finden Sie hier.

19.06.2019: Für seine am Lehrstuhl geschriebene Dissertation „Scalable String and Suffix Sorting: Algorithms, Techniques, and Tools“ erhielt Dr. Timo Bingmann den Uniserv Forschungspreis 2019 für die beste Dissertation auf dem Gebiet „Algorithmen für effiziente Datenverarbeitung“. Weitere Informationen finden Sie hier.

Mehr...