Registered user since Wed 12 Jun 2019
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.
View general profile