Hi, I’m Mattia!

I’m Saverio Mattia Merenda, a Master’s Student in Computer Science from the University of Parma, Italy.

Throughout my academic journey, I have gained extensive experience in software development, research, and static analysis. Notably, I played a key role in the development of EVMLiSA, a static analyzer for EVM bytecode, and contributed to various AI and blockchain-related initiatives. Currently, during my Master’s studies, I am further expanding my expertise through projects in cutting-edge areas such as Software Security, Quantum Computing, Machine Learning & AI, and Compilers. My ongoing work includes the early stages of xEVMLiSA, aiming to extend EVMLiSA’s analysis capabilities across multiple blockchains, and research participation in projects like “LLMs Meet Static Analysis: improving quality and reliability of AI-generated code.”

In addition to my academic pursuits, I have had the opportunity to work with several organizations and serve as a Teaching Assistant and Tutor at the University of Parma. These experiences have allowed me to develop cutting-edge software solutions, streamline operations, and enhance security measures, further solidifying my practical skills.

I’m constantly driven to explore new technologies and techniques, always seeking to improve my skills and knowledge. I believe that experimentation and innovation are essential in the rapidly evolving field of computer science, and I’m excited to continue contributing to its advancement.

You can find my full CV here.

Interests: Static Program Analysis, Abstract Interpretation, Blockchain, Machine Learning.

Education

• M.S. in Computer Science
  software-security  quantum-computing  machine-learning  AI
  Expected graduation year: July 2026.
  Sep. 2024 ‑ Present - University of Parma, Italy
• B.S. in Computer Science
  static-analysis  abstract-interpretation  EVMLiSA
  Thesis title: Construction of sound Control‑Flow Graphs for bytecode EVM.
  Sep. 2021 ‑ Jul. 2024 - University of Parma, Italy - Grade: 108/110 - Thesis available
  

See all (2) »

Experience

• Researcher and Software Developer
  static-analysis  abstract-interpretation  xEVMLiSA  blockchain
  University of Parma
  From Jan. 2025 - Parma, Italy
• Teaching Assistant and Tutor
  teaching
  University of Parma
  Sep. 2024 - Jul. 2025 - Parma, Italy

See all experiences (5) »

Publications

• V. Arceri, S.M. Merenda, L. Negrini, L. Olivieri, E. Zaffanella. EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode
  blockchain  smart-contract  ethereum  static-analysis  abstract-interpretation
  Special issue of: Novel Applications of Blockchain for Information Systems and Business Process Management (1 September 2025)
  Journal paper - 30 August 2025 - Open access - PDF available
  
• V. Arceri, S.M. Merenda, G. Dolcetti, L. Negrini, L. Olivieri, E. Zaffanella. Towards a Sound Construction of EVM Bytecode Control-flow Graphs
  blockchain  smart-contract  ethereum  static-analysis  abstract-interpretation
  26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)
  Workshop paper - 25 July 2024 - Vienna, Austria - PDF available
  

All publications (2) »

Talks

• Towards a Sound Construction of EVM Bytecode Control-flow Graphs
  static-analysis  abstract-interpretation  blockchain  ethereum  smart-contract
  26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)
  Conference presentation - 20 September 2024 - Vienna, Austria - Slides available - Attendance available
  

All talks (1) »

Research Projects

• Research Participant
  LLM  AI  static-analysis
  LLMs Meet Static Analysis: improving quality and reliability of AI‑generated code
  2024 - University of Parma, Italy

See all research projects (1) »

Events

• Challenges of Software Verification Symposium 2025
  static-analysis  abstract-interpretation  software-verification
  Conference participant
  Symposium - June 5-6, 2025 - Venice, Italy
• Lipari Summer School on Abstract Interpretation 2024
  static-analysis  abstract-interpretation  software-verification
  Student
  Summer School - September 1-7, 2024 - Lipari, Italy - Attendance available
  

All events (3) »

Projects

EVMLiSA
An abstract interpretation-based static analyzer for EVM bytecode.
Academic Guarantee Optimization
Answer Set Programming (ASP)-based tool for optimizing the assignment of academic guarantors to university courses.
Quantum Portfolio Optimization
Quantum Computing-based tool for optimizing portfolio allocation, enhancing traditional methods for improved risk-return management.
Deep Neural Network Library
A flexible C++ library for building, training, and using deep neural networks.
My-gpt4
Multiple reverse engineered language-model api's to decentralise the AI industry.
Tracking messages on Bitcoin blockchain
Tracking messages entered as a value in the OP_RETURN field in a Bitcoin transaction.

All projects (6) »