Mattia Merenda
Logo

Saverio Mattia Merenda

Master's Student
University of Parma, Italy


Hi, I’m Mattia!

I’m Saverio Mattia Merenda, an AI Solution Architect and Master’s Student in Computer Science at the University of Parma, Italy.

My academic and professional path sits at the intersection of artificial intelligence, software engineering, and software security. Alongside my Master’s studies, focused on Artificial Intelligence and Software Verification, I actively design and engineer advanced AI systems, combining research-driven methodologies with production-grade architectures.

Currently, I work as an AI Solution Architect, where I design, develop, and deploy custom AI agents and AI-driven systems for both client-specific solutions and internal optimization projects. My work includes the development of autonomous agent ecosystems, continuous-learning AI agents for customer support, and meta-agent architectures capable of automatically configuring and generating other AI agents. I also engineer ad-hoc MCP tools and internal AI tooling platforms to support agent orchestration, lifecycle management, and scalable deployment, integrating these systems into enterprise workflows through modern automation and orchestration platforms.

In parallel, I am deeply involved in academic research and advanced software development. I contributed to the development of EVMLiSA, a static analyzer for EVM bytecode based on abstract interpretation, and I am currently working on xEVMLiSA, extending static analysis capabilities to cross-chain ecosystems. My research activities include software security, access control analysis in smart contracts, and the integration of large language models with static analysis to improve the quality and reliability of AI-generated code. These activities have led to peer-reviewed publications and participation in international research projects.

Alongside research and industry work, I have served as a Teaching Assistant at the University of Parma, delivering academic lectures and supporting undergraduate education in computer science. This role strengthened my ability to combine theoretical rigor with practical system design, communication, and mentorship.

I am driven by the construction of intelligent systems that are not only functional, but also scalable, verifiable, and architecturally sound. My focus is on building AI infrastructures that merge automation, learning, and formal methods, with a long-term vision toward reliable, autonomous, and secure AI-driven systems.

You can find my full CV here.

Interests: AI Agents & Autonomous Systems, Multi-Agent Architectures, AI Systems Engineering, Software Verification, Blockchain.

Education

See all (2) »

Experience

See all experiences (5) »

Publications

All publications (2) »

Talks

All talks (1) »

Research Projects

See all research projects (1) »

Events

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