Algorithms are a central topic of computer science. We design efficient algorithms for problems in theory and practice and investigate their complexity. Our main focus is on

• Algorithm Engineering
• Algorithmic Graph Theory (in particular connectivity, planarity and Hamiltonicity)
• Certifying Algorithms

Ein zentraler Bestandteil der Informatik sind Algorithmen. Wir beschäftigen uns mit dem Entwurf effizienter Algorithmen für Probleme in Theorie und Praxis und ihrer Komplexität. Hierbei haben wir folgenden Schwerpunkte:

• Algorithm Engineering
• Algorithmische Graphentheorie (insbesondere Zusammenhang, Planarität und Hamiltonicity)
• Zertifizierende Algorithmen

Uns fasziniert, dass jedem Problem ein Schwierigkeitsgrad zugeordnet werden kann, der angibt, wie schnell es von einem Computer gelöst werden kann; mehr noch, in der Welt aller Probleme gibt es regelrechte Hierarchien dieser Schwierigkeitsgrade. Da wir heutzutage mit immer größer werdenden Datenmassen kämpfen, gehen Algorithmiker hier auf die Jagd nach den jeweils schnellsten Problemlösungen in Theorie und Praxis.