ARCERI Vincenzo

Ricercatore a tempo determinato
Settore scientifico disciplinare
  • Curriculum Vitae
  • Office hour
  • Teaching
  • Appointments
  • Research

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.

Tuesday 16.00 - 17.00 or ping me via e-mail

Anno accademico di erogazione: 2024/2025

Anno accademico di erogazione: 2023/2024

Anno accademico di erogazione: 2022/2023

Anno accademico di erogazione: 2021/2022




Phone number
Office location
Campus Scienze e Tecnologie - Padiglione 21 - Plesso di Matematica
Parco Area delle Scienze, 53/A
43124 PARMA