I am an associate professor in Computer Science at Università Ca’ Foscari Venezia, Italy, and the current Editor-in-Chief of the Journal of Computer Security. I am also serving as the rector’s delegate to cybersecurity at Ca’ Foscari from 2026 to 2032.

My research focuses on formal methods, software security and their intersection. Current topics of interest include web security, language-based security and adversarial machine learning. I have also worked on access control and mobile security in the past.

Check the present website for a complete list of my publications, as well as for more information about me and my most significant achievements.

For any questions, feel free to write me at: stefano.calzavara@unive.it