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
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
Journal paper - 30 August 2025 -
-
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
All events (3) »
Projects
All projects (6) »