« Home

Experience

2025

• Researcher and Software Developer
  static-analysis abstract-interpretation xEVMLiSA blockchain
  University of Parma
  From Jan. 2025 - Parma, Italy

  Development of xEVMLiSA

  Currently working on the early stages of xEVMLiSA, a project aimed at expanding EVMLiSA to analyze smart contracts across multiple blockchains (cross-chain).

2024

• Teaching Assistant and Tutor
  teaching
  University of Parma
  Sep. 2024 - Jul. 2025 - 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.