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
- 2026 3rd place in the Java track of SV-COMP 2026 with JLiSA, the Java frontend of LiSA
- 2026 Papers accepted at SAS 2026, ECSA 2026, and TACAS 2026
- 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
- Feb. 2025 Invited Professor at Sorbonne Université, Computer Science Laboratory
- Oct. 2024 Finalist for the Best Safety, Security, and Rescue Robotics paper award at IROS 2024