Verifikation
Der Fokus dieses Forschungszweiges liegt in der Entwicklung neuer computergestützter Verifikationstechniken für probabilistische Modelle und Programme. Darunter fallen probabilistische hybride Systeme, probabilistisches ModelChecking, Terminierungs- und Laufzeitanalyse von probabilistischen Programmen, Model Repair und Parametersynthese.