In unserer hochgradig vernetzten Welt sind Graphenprobleme der algorithmische Kern vieler rechnerischer Problemstellungen.
Ein Schwerpunkt dieses Forschungsbereichs ist die Erforschung und die Nutzung der äußersten Grenzen der algorithmischen Techniken zur Lösung schwieriger Rechenprobleme, insbesondere auf Graphen. Von der Weiterentwicklung der theoretischen Grundlagen in diesem Bereich, werden wir in der Praxis um ein Vielfaches profitieren. Andererseits bildet die Komplexität bestimmter Rechenprobleme auch die Grundlage der Kryptographie, wie wir sie heute kennen.
RV
Runtime VerificationRuntime Verification 2022
