« Home

Experience

2026

• Researcher and Software Developer
  static-analysis abstract-interpretation EVMLiSA blockchain
  University of Parma
  Jan. 2025 - May 2026 - Parma, Italy

  Cross-Chain Extension of EVMLiSA and Access Control Checker

  As part of my Master’s Degree internship at the University of Parma, I extended EVMLiSA to support cross-chain analysis, enabling vulnerability detection across multiple blockchain ecosystems and broadening the scope of the tool beyond single-chain environments.

  I also designed and implemented a static checker for Access Control vulnerabilities, with a specific focus on Access Control Incompleteness in cross-chain bridge smart contracts, contributing to more robust and sound security analysis for emerging multi-chain architectures.

2024

• Teaching Assistant and Tutor
  teaching
  University of Parma
  Sep. 2024 - Jan. 2026 - Parma, Italy

  Teaching Assistant and Tutor for the “Fondamenti di Programmazione A + B” bachelor course in the Computer Science degree.

• Researcher and Software Developer
  static-analysis abstract-interpretation EVMLiSA blockchain
  University of Parma - Internship
  Sep. 2023 ‑ May 2025 - Parma, Italy

  Development of EVMLiSA

  Played an integral role in the development of EVMLiSA, a specialized component of LiSA (Library for Static Analysis), aimed at constructing complete Control‑Flow Graphs (CFGs) for Ethereum smart contracts. By leveraging these CFGs, orphan jumps are effectively resolved, enhancing the accuracy of the analysis. Through collaboration on the implementation of EVMLiSA, proficiency in software development and static analysis engineering was demonstrated, contributing to the advancement of tools for Ethereum blockchain analysis.

  In‑depth study of static analysis and abstract interpretation

  Initiated the internship with an intensive two‑month period dedicated to an in‑depth study of static analysis and abstract interpretation. This comprehensive exploration laid the foundation for subsequent contributions to the development of EVMLiSA.

  Thoroughly study of design patterns for software development

  Diligently delved into the study of design patterns and frameworks essential for professional software development, enriching skills and knowledge in creating robust and scalable software solutions.

2021

• Software Developer
  management-software Picasso Mirth
  HeliopsyLab
  Jan. 2021 ‑ Sep. 2021 - Reggio Emilia, Italy

  Developed and implemented cutting‑edge management software for hospital facilities in the Lazio and Lombardia regions, streamlining operations and reducing administrative inefficiencies by 15%. Advanced new features within the Picasso and Mirth integration software, enhancing its capabilities and functionality.

2019

• Software Developer
  database UX
  Pico srl
  May 2019 ‑ Jul. 2019 - Reggio Emilia, Italy

  Engineered a user‑friendly application for efficient management of diverse user profiles within a database. Enhanced security measures and optimized the existing system for improved performance. Designed an algorithm to construct a wizard‑style exam, streamlining the assessment process for a more user‑friendly experience.