Meine Forschung konzentriert sich auf vertrauenswürdige KI, mit einem Schwerpunkt auf Laufzeitüberwachung, Anomalieerkennung und Verifikation neuronaler Netze in sicherheitskritischen Systemen. Ich untersuche Methoden zur Erkennung unzuverlässigen Modellverhaltens und zur Bewertung der Überwachbarkeit gelernter Repräsentationen, wobei ich maschinelles Lernen, statistische Modellierung und formale Verifikation kombiniere.

My research focuses on trustworthy AI, with an emphasis on runtime monitoring, anomaly detection, and verification of neural networks in safety-critical systems. I study methods to detect unreliable model behavior and assess the monitorability of learned representations, combining machine learning, statistical modeling, and formal verification.