I am a senior researcher at the University of Passau. I am passionate about exploring the intersection of programming languages and software engineering. My research focuses on static program analyses, specifically language-based security, information flow control, and automated program repair.