
ARCERI Vincenzo
- 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 di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2024/2025
- Anno di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2024/2025
Anno accademico di erogazione: 2023/2024
- Anno di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2023/2024
- Anno di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2023/2024
Anno accademico di erogazione: 2022/2023
- Anno di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2022/2023
- Anno di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2022/2023
Anno accademico di erogazione: 2021/2022
- Anno di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2021/2022
- Anno di corso: 1 - Laurea triennale (DM 270) - INFORMATICA - Coorte: 2021/2022
Docente di riferimento
- Laurea triennale (DM 270) INFORMATICA A.A. 2024/2025
- Laurea triennale (DM 270) INFORMATICA A.A. 2023/2024
- Laurea triennale (DM 270) INFORMATICA A.A. 2022/2023
Pubblicazioni
-
Anno: 2024Autore/i: Olivieri Luca, Negrini Luca, Arceri Vincenzo, Jensen Thomas, Spoto Fausto
-
Anno: 2024Autore/i: Arceri Vincenzo, Merenda Saverio Mattia, Dolcetti Greta, Negrini Luca, Olivieri Luca, Zaffanella Enea
-
Anno: 2024Autore/i: Negrini Luca, Arceri Vincenzo, Cortesi Agostino, Ferrara Pietro
-
Anno: 2024Autore/i: Boldini G., Diana A., Arceri V., Bonnici V., Bagnara R.
-
Anno: 2024Autore/i: Negrini Luca, Arceri Vincenzo, Olivieri Luca, Cortesi Agostino, Ferrara Pietro
Contatti
Parco Area delle Scienze, 7/A
43124 PARMA