Mattia Merenda
Logo

Saverio Mattia Merenda

Master's Student
University of Parma, Italy

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.

Education

See all (2) »

Experience

See all experiences (4) »

Publications

All publications (1) »

Talks

All talks (1) »

Research Projects

See all research projects (1) »

Events

All events (2) »

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) »