I am a senior researcher at the Software Institute, USI, Lugano. 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.