Forschende

Prof. Dr. Johannes Köbler forscht auf dem Gebiet der Theoretischen Informatik mit einem Schwerpunkt auf dem Graphisomorphieproblem, der Komplexitätstheorie und der Beweiskomplexität.

Prof. Dr. Stefan Kratsch forscht auf dem Gebiet der theoretischen Informatik, mit einem Schwerpunkt auf parametrisierter Komplexität und effizienter Vorverarbeitung für NP-schwere Probleme.

Die Forschung konzentriert sich auf die Entwicklung skalierbarer Algorithmen und Software-Tools für die Analyse großer Netzwerke und die effiziente Ausführung wissenschaftlicher Workflows auf heterogenen, verteilten Systemen.