I am an associate professor in Computer Science at Ca’ Foscari University of Venice. My main research interests focus on the application of abstract interpretation-based static analysis to security vulnerabilities. I am part of the Software and System Verification group.

Here you can find more information about my research (current projects and the complete list of my publications, as well as my full cv) and teaching (courses and theses) activities, as well as my contact information.