News as of
-
upcoming
Will also be going to Vejle to attend a summer school organized by SDU Vejle and the SustainAI research team, titled Engineering Agentic AI: From Lab to Land.
-
upcoming
Will be attending the 2nd 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!
-
18-09-2025
Started a six-month research internship with the APR team at LIP6, Sorbonne University in Paris, hosted by Prof. Antoine Miné. Along with Prof. Pietro Ferrara, we initiated an interesting research project.