I’m Saverio Mattia Merenda, Head of AI at Promoservice Parma, with a Master’s Degree in Computer Science (110/110 cum laude) from the University of Parma, Italy.

My work combines artificial intelligence, software engineering, and software security. With a Master’s focused on Artificial Intelligence and Software Verification, I design advanced AI systems that bring research methods into production.

Since September 2026, I have been responsible for new AI projects at Promoservice Parma.

Previously, as an AI Solution Architect at Keplero AI (November 2025–August 2026), I designed, developed, and deployed custom AI agents for clients and internal process optimization. I built autonomous agent ecosystems, continuous-learning customer-support agents backed by automated knowledge-update and learning pipelines, and meta-agents that configured and generated other agents. I also developed ad-hoc MCP tools and internal platforms for agent orchestration, lifecycle management, and scalable deployment, integrating them into enterprise workflows through automation and orchestration platforms.

In parallel, I contribute to academic research and software development. I helped develop EVMLiSA, a static analyzer for EVM bytecode based on abstract interpretation. For my Master’s thesis, I extended it to cross-chain ecosystems and implemented a static checker for Access Control Incompleteness in cross-chain bridges. My research covers software security, smart-contract access control, and combining large language models with static analysis to improve the quality and reliability of AI-generated code. This work has led to peer-reviewed publications and participation in international research projects.

As a Teaching Assistant at the University of Parma, I delivered lectures and supported undergraduate computer science education, strengthening my skills in practical system design, communication, and mentorship alongside theoretical rigor.

I aim to build scalable, verifiable, and architecturally sound AI systems. My focus is on infrastructures that combine automation, learning, and formal methods to support reliable, autonomous, and secure systems.

You can download my full CV (PDF).