News as of
-
27-09-2026
I reviewed a journal paper submission for the next special issue of the Challenges of Software Verification Symposium in the International Journal on Software Tools for Technology Transfer (STTT) 2026.
-
19-09-2026
Got a chance to attend the very first ever event held at the newly built SDU (South Danish University) campus in Vejle! It was Engineering Agentic AI: From Lab to Land, a great summer school organized by the SustainAI research team.
-
06-09-2026
Attended the second edition of the Lipari Summer School on Abstract Interpretation!
-
12-06-2026
Alongside Prof. Gianluca Caiazza, Prof. Pietro Ferrara, and colleagues from Galdi, co-authored a paper, CoreTrust: Ensuring Data Quality at the Edge, which was accepted to ECSA 2026.
-
18-04-2026
The competition contribution was published in the proceedings of TACAS 2026, titled JLiSA: The Java Frontend of the Library for Static Analysis.
-
04-2026
Sub-reviewed a workshop paper for SOAP 2026.
-
03-2026
Concluded a six-month research internship with the APR team at LIP6, Sorbonne University.
-
01-2026
Had the opportunity to be part of the team (Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Luca Olivieri, and Pietro Ferrara) that developed JLiSA (LiSA’s frontend), which took 3rd place 🥉 in the Java track at SV-COMP 2026!