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.

In addition to my academic pursuits, I have had the opportunity to work with several organizations. These experiences have allowed me to develop cutting-edge software solutions, streamline operations, and enhance security measures.

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.

Education

• M.S. in Computer Science
  quantum-computing  software-security  machine-learning
  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

• Teaching Assistant and Tutor
  teaching
  University of Parma
  Sep. 2024 - Present - Parma, Italy
• Researcher and Software Developer
  static-analysis  abstract-interpretation  EVMLiSA
  University of Parma - Internship
  Sep. 2023 ‑ May 2024 - Parma, Italy

See all experiences (4) »

Publications

• 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 (1) »

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

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

All events (2) »

Projects

EVMLiSA
An abstract interpretation-based static analyzer for EVM bytecode.
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 (4) »