I got a Bachelor’s and Master’s degrees at the University of Verona, followed by a five years industrial experience on development and applications of Static Analysis and Abstract Interpretation with the Julia static analyzer. I got my PhD in Computer Science in January 2023 at the Ca’ Foscari University of Venice, focusing on Multi-language Static Analysis. I then joined Ca’ Foscari as a research fellow, and I am currently an Assistant Professor (non-tenure) there.