I am an Assistant 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.

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.