Algorithmik

Die Arbeitsgruppe Algorithmik beschäftigt sich mit dem Entwurf und der Analyse von Algorithmen und Datenstrukturen, mit dem übergeordneten Ziel, das Arbeiten mit immer größeren Datenmengen effizienter zu gestalten.

Unsere Forschung umfasst einerseits die grundlegenden Fragen der Theoretischen Informatik, die aus diesem Ziel folgen und mittels mathematischer Beweise beantwortet werden; etwa die Frage nach der asymptotischen Komplexität einer algorithmischen Fragestellung. Andererseits betätigen wir uns im Engineering von Algorithmen und Datenstrukturen, um theoretische Ergebnisse für praktische Anwendungen zugänglich und gewinnbringend nutzbar zu machen.

Ein Anwendungsbeispiel unserer Forschung ist das Sortieren; hier hat es der Sortieralgorithmus Powersort als neues Standard-Sortierverfahren in Python zu breiter Verwendung gebracht.