Institut für Formale Methoden der Informatik (FMI)

Algorithmik

Unsere Forschung konzentriert sich auf die Entwicklung von Algorithmen mit nachweisbaren Garantien, sowohl hinsichtlich der Laufzeit als auch der Ergebnisqualität. Bei dem Versuch, auf einer soliden theoretischen Grundlage aufzubauen, macht es uns nichts aus, wenn unsere Algorithmen in der realen Welt Anwendung finden. Die meisten unserer Ergebnisse stammen also aus einem Problem im Anwendungskontext.

Zum Seitenanfang