Pietro Ferrara
Associate Professor in Computer Science
Ca' Foscari University of Venice
My research focuses on the application of abstract interpretation-based static analysis to the security and reliability of software systems, and on modern software architectures (e.g., microservices). I am part of the Software and System Verification group.
Research
Static analysis by abstract interpretation applied to microservices, robotic systems, blockchain software, and modern software architectures.
Current projects »For Students
Interested in a thesis, an internship, a PhD, or a collaboration? Here is how to get in touch and work with me.
How to collaborate »Publications
Journal articles, conference and workshop papers on static analysis, program verification, and software security.
Full list »Highlights
- Oct. 2026 Appointed Rector's Delegate for the University Website at Ca' Foscari University of Venice
- 2026 Review Committee member of OOPSLA 2027
- 2026 3rd place in the Java track of SV-COMP 2026 with JLiSA, the Java frontend of LiSA
- 2026 Papers at SAS 2026, ECSA 2026, TACAS 2026, and in IEEE Access
- Oct. 2025 Organizer of Dagstuhl Seminar 25421 “Sound Static Program Analysis in Modern Software Engineering”
- Mar. 2025 National habilitation (ASN) for full professorship in the ING-INF/05 scientific area