Meine Forschungsinteressen liegen in den Bereichen IT-Sicherheit, menschenzentrierte Sicherheit und Softwaretests. Besonders interessiert mich der Einsatz formaler und semi-formaler Methoden zur Lösung komplexer Probleme der IT-Sicherheit, etwa beim Vulnerability Scanning, der automatisierten Policy-Generierung und der Policy-Validierung. Zudem möchte ich die Schnittstelle dieser Themen mit künstlicher Intelligenz und Machine Learning erforschen.
Außerdem interessiere ich mich dafür, menschliche Akteure dabei zu unterstützen, kritische Fehler zu vermeiden – durch neuartige Ansätze wie intuitive UI/UX-Gestaltung und innovative Trainingsmethoden, insbesondere Gamification und Serious Games.
