Salta al contenuto principale Skip to footer
Accedi
Alma universitas studiorum parmensis A.D. 962 - Università di ParmaAlma universitas studiorum parmensis A.D. 962 - Università di Parma Persone e Strutture
Università degli Studi di Parma

Vincenzo Arceri

Stampa
Ricercatore a tempo determinato
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
Unità di Matematica e informatica
SSD: Informatica (INFO-01/A)

Curriculum Vitae

Scarica il CV

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.

Insegnamenti

Ricerca

Pubblicazioni

Lista completa pubblicazioni

Iniziative di Public Engagement

  • L’analizzatore di software “JLiSA” di Università di Parma e Ca’ Foscari sul podio mondiale

    L’analizzatore di software “JLiSA” di Università di Parma e Ca’ Foscari sul podio mondiale https://www.parmadaily.it/lanalizzatore-di-software-jlisa-di-universita-di-parma-e-ca-foscari-sul-podio-mondiale/

    Data: 21/02/2026

  • “JLiSA”, analizzatore del software sviluppato dall'Università di Parma, è sul podio mondiale

    “JLiSA”, analizzatore del software sviluppato dall'Università di Parma, è sul podio mondiale

    Data: 21/02/2026

  • Cybersecurity, cosa unisce Venezia e gli USA: la ricerca che ha conquistato la NSA

    https://www.innovami.news/2026/01/06/cybersecurity-cosa-unisce-venezia-e-gli-usa-la-ricerca-che-ha-conquistato-la-nsa/

    Data: 06/01/2026

  • Cybersecurity: una tecnologia sviluppata a Ca’ Foscari entra in Ghidra, la piattaforma open source della NSA per l’analisi del software

    Cybersecurity: una tecnologia sviluppata a Ca’ Foscari entra in Ghidra, la piattaforma open source della NSA per l’analisi del software https://www.digitalvoice.it/cybersecurity-una-tecnologia-sviluppata-a-ca-foscari-entra-in-ghidra-la-piattaforma-open-source-della-nsa-per-lanalisi-del-software/

    Data: 29/12/2025

  • LiSA entra nell’ecosistema di Ghidra della NSA (Usa), una delle piattaforme free e open source più utilizzate al mondo per l’analisi del softwar

    https://www.lineaedp.it/news/ca-foscari-i-suoi-strumenti-di-analisi-del-software-integrati-in-ghidra/?fbclid=IwdGRjcAO_kIhjbGNrA7-QY2V4dG4DYWVtAjExAHNydGMGYXBwX2lkDDM1MDY4NTUzMTcyOAABHh8AIZodg3KtCAQfLbEG5YAaL35qINFwtH1o6lUNbfz0iKrnsile2oEsIRNu_aem_N3MrZA2qpSdfLyG4BalXQg

    Data: 29/12/2025

  • La National Security Agency Usa sceglie un sistema di verifica software targato Università di Parma e Ca’ Foscari https://www.parmatoday.it/attualita/National-Security-Agency-Usa-Universita-Parma.html

    La National Security Agency Usa sceglie un sistema di verifica software targato Università di Parma e Ca’ Foscari LiSA - Library for Static Analysis, progetto guidato dai ricercatori Luca Negrini (Ca’ Foscari), Vincenzo Arceri (Unipr) e Luca Olivieri (Ca’ Foscari) -- La National Security Agency Usa sceglie un sistema di verifica software targato Università di Parma e Ca’ Foscari https://www.parmatoday.it/attualita/National-Security-Agency-Usa-Universita-Parma.html © ParmaToday https://www.parmatoday.it/attualita/National-Security-Agency-Usa-Universita-Parma.html

    Data: 23/12/2025

  • CYBERSECURITY: STRUMENTI DI ANALISI DEL SOFTWARE SVILUPPATI A CA’ FOSCARI ‘CONQUISTANO’ GLI USA ED ENTRANO NELLA PIATTAFORMA GHIDRA

    https://agenparl.eu/2025/12/23/cybersecurity-strumenti-di-analisi-del-software-sviluppati-a-ca-foscari-conquistano-gli-usa-ed-entrano-nella-piattaforma-ghidra/

    Data: 23/12/2025

  • Partecipazione alla 11° giornata per la promozione della cultura scientifico-tecnologica all’Istituto Berenini

    Giornata per la promozione della cultura scientifico-tecnologica

    Data: 29/11/2025

  • Bootcamp di programmazione in Python 2025

    ll bootcamp di programmazione in Python è rivolto agli studenti e alle studentesse delle classi III, IV e V delle scuole secondarie di secondo grado. Il bootcamp è incentrato sullo sviluppo di semplici algoritmi in Python che tramite la tecnica della gamification permettano di apprendere i principali costrutti di tale linguaggio.

    Data: 16/06/2025

  • Stage di Orientamento di Matematica e Informatica

    Attività seminariale, di laboratorio e di orientamento alla scelta universitaria nell'ambito delle Scienze Matematiche e Informatiche, rivolta in prevalenza agli studenti della classe IV.

    Data: 09/06/2025-12/06/2025

  • Incontro d'orientamento "ITIS Leonardo da Vinci", Parma

    Presentazione CdL Informatica e CdLM Scienze Informatiche

    Data: 20/05/2025

  • Open Day 2025

    Open Day 2025

    Data: 10/04/2025

  • Presentazione CdL Informatica Parentucell-Arzelà - Sarzana

    Presentazione CdL Informatica Parentucell-Arzelà - Sarzana

    Data: 07/04/2025

  • La tua scelta magistrale - Dipartimento SMFI (Informatica)

    La tua scelta magistrale - Dipartimento SMFI (Informatica)

    Data: 25/03/2025

  • Scoprire l'Informatica: cos'è, come innovare e affrontare le sfide del futuro (Modulo C PNRR Informatica)

    Scoprire l'Informatica: cos'è, come innovare e affrontare le sfide del futuro (Modulo C PNRR Informatica)

    Data: 21/03/2025

  • Incontro di orientamento "I.I.S.S. Bonsignori" Remedello

    Incontro di orientamento "I.I.S.S. Bonsignori" Remedello

    Data: 18/03/2025

  • Orientamento Liceo Bertolucci, Open Day Liceo Bertolucci 2025, CdL Informatica

    Orientamento Liceo Bertolucci, Open Day Liceo Bertolucci 2025, CdL Informatica

    Data: 28/02/2025

  • Gli Algoritmi che contano: l'informatica a servizio dell'economia - ITE Melloni, Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo C, CdL Informatica)

    Gli Algoritmi che contano: l'informatica a servizio dell'economia - Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo C, CdL Informatica)

    Data: 24/02/2025

  • Lezione aperta di programmazione in C++

    Lezione aperta di programmazione in C++ (Liceo Scientifico Guglielmo Marconi, Parma)

    Data: 24/02/2025

  • Intelligenza Artificiale: introduzione agli algoritmi della rivoluzione digitale - Seminario divulgativo, Liceo Bertolucci, Parma

    Intelligenza Artificiale: introduzione agli algoritmi della rivoluzione digitale - Seminario divulgativo, Liceo Bertolucci, Parma

    Data: 21/02/2025

  • Incontro d'orientamento "ITIS Galileo Galilei di San Secondo Parmense"

    Presentazione CdL Informatica

    Data: 20/02/2025

  • Lezione aperta di programmazione in C++

    Lezione aperta di programmazione in C++ (Liceo delle scienze applicate di Villafranca Lunigiana)

    Data: 20/02/2025

  • ll Dipartimento di Scienze Matematiche, Fisiche e Informatiche e i suoi corsi di laurea: Matematica, Fisica e Informatica (per Liceo Statale Colombini – Piacenza, parte Informatica)

    ll Dipartimento di Scienze Matematiche, Fisiche e Informatiche e i suoi corsi di laurea: Matematica, Fisica e Informatica (parte Informatica)

    Data: 19/02/2025

  • Lezione aperta di programmazione in C++

    Lezione aperta di programmazione in C++ (IIS Blais Pascal, Reggio Emilia e Liceo Scientifico Guglielmo Marconi, Parma)

    Data: 18/02/2025

  • Lezione aperta di programmazione in C++

    Lezione aperta di programmazione in C++ (Liceo delle scienze applicate di Villafranca Lunigiana)

    Data: 17/02/2025

  • Intelligenza Artificiale: introduzione agli algoritmi della rivoluzione digitale - Seminario divulgativo, Liceo Bertolucci, Parma

    Intelligenza Artificiale: introduzione agli algoritmi della rivoluzione digitale - Seminario divulgativo, Liceo Bertolucci, Parma

    Data: 13/02/2025

  • Allenamenti in preparazione alle Olimpiadi dell'Informatica - Istituto di Istruzione Superiore Blaise Pascal, Reggio Emilia

    Allenamenti in preparazione alle Olimpiadi dell'Informatica - Istituto di Istruzione Superiore Blaise Pascal, Reggio Emilia

    Data: 12/02/2025

  • Gli Algoritmi che contano: l'informatica a servizio dell'economia - ITE Melloni, Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo C, CdL Informatica)

    Gli Algoritmi che contano: l'informatica a servizio dell'economia - Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo C, CdL Informatica)

    Data: 10/02/2025

  • Questioni di Matematica, Fisica, Informatica - Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo B, CdL Informatica)

    Questioni di Matematica, Fisica, Informatica - Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo B, CdL Informatica)

    Data: 31/01/2025

  • Presentazione CdL Informatica e CdLM Scienze Informatiche, ITE Melloni di Parma + seminario 'Gli Algoritmi che contano: l'informatica a servizio dell'economia'

    Presentazione CdL Informatica e CdLM Scienze Informatiche, ITE Melloni di Parma + seminario 'Gli Algoritmi che contano: l'informatica a servizio dell'economia'

    Data: 20/01/2025

  • Questioni di Matematica, Fisica, Informatica - Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo B, CdL Informatica)

    Questioni di Matematica, Fisica, Informatica - Percorsi di Orientamento attivo nella transizione Scuola-Università (Modulo B, CdL Informatica)

    Data: 16/01/2025

  • Algoritmi che Contano: L’Informatica al Servizio dell’Economia (Modulo C PNRR, Informatica)

    Algoritmi che Contano: L’Informatica al Servizio dell’Economia (Modulo C PNRR, Informatica)

    Data: 16/01/2025

  • Presentazione CdL Informatica, Liceo Ulivi di Parma

    Presentazione CdL Informatica e CdLM Scienze Informatiche, Liceo Ulivi di Parma

    Data: 19/12/2024

  • Partecipazione alla 10° giornata per la promozione della cultura scientifico-tecnologica all’Istituto Berenini

    Giornata per la promozione della cultura scientifico-tecnologica

    Data: 30/11/2024

  • Notte dei ricercatori 2024 - Organizzazione e partecipazione del laboratorio "Sfida l'algoritmo"

    Notte dei ricercatori 2024 - Organizzazione e partecipazione del laboratorio "Sfida l'algoritmo"

    Data: 27/09/2024

  • Incontro di orientamento "I.I.S.S. Bonsignori" Remedello

    Attività d'orientamento per il CdL di Informatica "I.I.S.S. Bonsignori" Remedello

    Data: 21/05/2024

  • Incontro d'orientamento "ITIS Leonardo da Vinci", Parma

    Incontro d'orientamento "ITIS Leonardo da Vinci", Parma

    Data: 24/04/2024

  • Computer Science Day 2024

    Computer Science Day 2024

    Data: 16/04/2024

  • Lezioni aperte di programmazione in C++

    Lezione universitaria su programmazione in C++ per studenti e studentesse della scuola superiore.

    Data: 25/03/2024

  • Incontro d'orientamento "Liceo Scientifico Guglielmo Marconi", Parma

    Incontro d'orientamento "Liceo Scientifico Guglielmo Marconi", Parma

    Data: 15/03/2024

  • Lezioni aperte di programmazione in C++

    Lezione universitaria su programmazione in C++ per studenti e studentesse della scuola superiore.

    Data: 11/03/2024

  • Incontro d'orientamento "Liceo scientifico e linguistico Marconi", Parma

    Incontro d'orientamento "Liceo scientifico e linguistico Marconi", Parma

    Data: 29/02/2024

  • Lezioni aperte di programmazione in C++

    Lezioni aperte di Programmazione in C++

    Data: 29/02/2024

  • Lezione aperta di programmazione in C++

    Lezione universitaria su programmazione in C++ per studenti e studentesse della scuola superiore.

    Data: 20/02/2024

  • Lezioni aperte di Programmazione in C++

    Lezioni aperte di Programmazione in C++

    Data: 19/02/2024

  • Incontro d'orientamento "ITE Melloni - Istituto Tecnico Economico", Parma

    Incontro d'orientamento "ITE Melloni - Istituto Tecnico Economico", Parma

    Data: 07/02/2024

  • Incontro d'orientamento "Liceo Bertolucci" Parma

    Incontro d'orientamento "Liceo Bertolucci" Parma

    Data: 06/02/2024

  • Incontro d'orientamento "ITIS Galileo Galilei di San Secondo Parmense"

    Incontro d'orientamento "ITIS Galileo Galilei di San Secondo Parmense"

    Data: 05/02/2024

  • Partecipazione all'9° giornata per la promozione della cultura scientifico-tecnologica all’Istituto Berenini

    Giornata per la promozione della cultura scientifico-tecnologica

    Data: 02/12/2023

  • Infoday 2023 - Dipartimento SMFI

    Infoday 2023

    Data: 06/07/2023

  • Incontro d'orientamento all'interno dello Stage di Matematica e Informatica

    Presentazione del CdL in Informatica all'interno dello Stage di Matematica e Informatica

    Data: 13/06/2023

  • "Upskilling for teachers in tech-related courses for refugees" (organizzato da Informatici Senza Frontiere)

    L’obiettivo della “quattro giorni”, che si svolge nell’ambito del progetto "Upskilling for teachers in tech-related courses for refugees", è formare i partecipanti (alcuni docenti di informatica della scuola croata Migracode per la formazione digitale dei migranti) sul tema delle capacità di insegnamento e sul lavoro con rifugiati e migranti nell'educazione tecnologica, cercando di accrescere le loro competenze nelle metodologie di insegnamento delle materie scientifiche, matematica e informatica in particolare. La formazione sarà curata dai componenti di Informatici Senza Frontiere. Tra questi Vincenzo Bonnici , docente di Informatica all’Università di Parma e organizzatore locale dell’appuntamento.

    Data: 06/06/2023-09/06/2023

  • Incontro d'orientamento "ITIS Leonardo Da Vinci" Parma

    Presentazione CdL Informatica e CdLM Scienze Informatiche presso "ITIS Leonardo Da Vinci" Parma

    Data: 29/05/2023

  • Computer Science Day 2023

    Computer Science Day 2023

    Data: 09/05/2023

  • Incontro di orientamento "I.I.S.S. Bonsignori" Remedello

    Attività d'orientamento per il CdL di Informatica "I.I.S.S. Bonsignori" Remedello

    Data: 05/05/2023

  • Incontro d'orientamento "I.T.E. Bodoni" Parma

    Incontro d'orientamento "I.T.E. Bodoni" Parma

    Data: 05/05/2023

  • Open Day 2023 (Scienze Informatiche)

    Open Day 2023 (Scienze Informatiche) - Incontro d'orientamento in ingresso per il CdLM in Scienze Informatiche e in uscita per il CdL in Informatica + visite guidate

    Data: 18/04/2023

  • Open Day 2023 (Informatica)

    Open Day 2023 (Informatica) + visite guidate

    Data: 13/04/2023-15/04/2023

  • L'UNIVERSITA' IN CLASSE: UNA BUSSOLA PER IL FUTURO, L'Università di Parma per un orientamento attivo nella transizione scuola-università - Curvatura Informatica

    L'UNIVERSITA' IN CLASSE: UNA BUSSOLA PER IL FUTURO, L'Università di Parma per un orientamento attivo nella transizione scuola-università - Curvatura Informatica (modulo 3 e 4, totale 10 ore)

    Data: 04/04/2023-12/04/2023

  • "Question time: è lì il mio futuro?" - organizzato da I.I.S.S. "Luigi Bazoli - Marco Polo", Desenzano del Garda (BS)

    "Question time: è lì il mio futuro?" - organizzato da I.I.S.S. "Luigi Bazoli - Marco Polo", Desenzano del Garda (BS), attività di orientamento

    Data: 17/03/2023

  • Incontro di orientamento "Liceo Maria Luigia"

    Incontro di orientamento "Liceo Maria Luigia": presentazione CdL Informatica

    Data: 08/03/2023

  • Incontro di orientamento "Liceo Marconi"

    Incontro di orientamento "Liceo Marconi"

    Data: 21/02/2023

  • Incontro d'orientamento "ITIS Galileo Galilei di San Secondo Parmense"

    Incontro d'orientamento "ITIS Galileo Galilei di San Secondo Parmense"

    Data: 17/01/2023

  • Partecipazione all'8° giornata per la promozione della cultura scientifico-tecnologica all’Istituto Berenini

    Giornata per la promozione della cultura scientifico-tecnologica

    Data: 26/11/2022

  • Ragazze Digitali 2022

    Ragazze Digitali ER è un progetto di orientamento attivo che si pone come obiettivo principale l’avvicinamento delle ragazze all’informatica e alla programmazione in modo divertente e creativo, contribuendo così a ridurre il divario digitale di genere.

    Data: 20/06/2022-08/07/2022

  • PCTO Liceo Scientifico Statale “L. Respighi” di Piacenza

    PCTO Liceo Scientifico Statale “L. Respighi” di Piacenza - Laboratorio di programmazione con Pygame Zero

    Data: 09/03/2022

  • Competizione di Coding - Google Hash Code 2022

    Competizione di Coding, Google Hash Code 2022, Hub di Parma

    Data: 24/02/2022

  • Big data analytics e predictive maintenance

    Corso di formazione per l'azienda ACMI

    Data: 06/12/2021-18/03/2022