News as of
-
08-2025
Attended the Marktoberdorf Summer School 2025 on formal methods and software verification.
-
05-2025
Over the span of two months, simultaneously served on three artifact evaluation committees: SAS 2025, ECOOP 2025, and SLE 2025.
-
04-2025
With Prof. Gianluca Caiazza and Prof. Pietro Ferrara, co-authored a paper for ICSA 2025, From Legacy to Intelligent IIoT Systems. I also had the chance to serve as a student volunteer there.
-
09-2024
Led by Giacomo Zanatta and Prof. Pietro Ferrara, I had the great opportunity to co-author and contribute to my first publication, titled Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. It was presented at the 26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024).
-
09-2024
Under the mentorship of Prof. Pietro Ferrara, started a PhD in Computer Science at Ca’ Foscari University of Venice and joined the Software and System Verification group.
- here starts my PhD
-
03-2024
Met Prof. Agostino Cortesi, Giacomo Zanatta, and Prof. Pietro Ferrara and arrived in Venice. This was during my 3-month post-master’s-degree Erasmus+ traineeship at Ca’ Foscari University of Venice, where I had my first experience with LiSA and attempted to apply static analysis to microservices.