Prof.

ARCERI Vincenzo

Ricercatore a tempo determinato
Settore scientifico disciplinare
Informatica
  • Curriculum Vitae
  • Orario di ricevimento
  • Insegnamenti
  • Incarichi
  • Ricerca

Vincenzo Arceri ha una laurea triennale in Informatica (Luglio 2014) e una laurea magistrale in Ingegneria e Scienze Informatiche - curriculum Sicurezza dei Sistemi Informatici - (Luglio 2016), entrambe conseguite presso l'Università degli Studi di Verona. È stato studente UROP all'Imperial College London (Estate 2016) sotto la supervisione del Prof. Sergio Maffeis. Da Ottobre 2016 a Settembre 2019 è stato studente di dottorato in Informatica presso l'Università degli Studi di Verona sotto la supervisione della Prof.ssa Isabella Mastroeni e ha ottenuto il dottorato di ricerca nel Maggio 2020, difendendo la tesi dal titolo "Taming Strings in Dynamic Languages - An Abstract Interpretation-based Static Analysis Approach". Da Settembre 2019 a Settembre 2021 è stato ricercatore postdoc all'Università Ca' Foscari di Venezia nel gruppo di ricerca "Software and System Verification". Attualmente è ricercatore a tempo determinato (tipo A) del Dipartimento di Scienze Matematiche, Fisiche e Informatiche presso l'Università di Parma. I suoi interessi di ricerca includono analisi statica di programmi, analisi e verifica di stringhe (in particolare per linguaggi dinamici), interpretazione astratta e, più in generale, metodi formali per la correttezza e la sicurezza dei programmi.

Giovedì 14.00 - 15.00 oppure fissare un appuntamento 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

Docente di riferimento

Pubblicazioni

Contatti

Telefono
906961
Ubicazione dell'ufficio
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
Parco Area delle Scienze, 7/A
43124 PARMA