Personale docente

I have a Bachelor Degree in Computer Science (July 2014) and a Master Degree in Computer Science and Engineering - Computer Systems Security curriculum - (July 2016), both issued by the University of Verona. I was an UROP Student at the Imperial College London (Summer 2016), under the supervision of Prof. Sergio Maffeis. I joined the University of Verona in October 2016 as PhD student in Computer Science, under the supervision of Prof. Isabella Mastroeni and I got the PhD in May 2020, defending my PhD thesis titled "Taming Strings in Dynamic Languages - An Abstract Interpretation-based Static Analysis Approach". From September 2019 to September 2021 I was a postdoctoral researcher at the Ca' Foscari University of Venice in the Software and System Verification research group. Currently, I am an Assistant Professor (non-tenure) in the Department of Mathematical, Physical, and Computer Sciences at the University of Parma, dealing with static analysis of Go language for blockchain applications, static analysis of unsafe Rust, relational string analyses, and static analysis for dynamic languages. My main research interests include static program analysis, string analysis and verification (in particular for dynamic languages), abstract interpretation and, more in general, formal methods for program security.