Skip to content
View merendamattia's full-sized avatar
👨‍💻
Coding
👨‍💻
Coding
60 followers · 67 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report merendamattia

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
merendamattia/README.md

Hi, I'm Mattia Merenda

AI Architect with a Master's degree in Computer Science, specialized in Artificial Intelligence and Software Verification, from the University of Parma, Italy.

I design and build reliable AI systems: agents, multi-agent architectures, MCP tools, and internal platforms that bring AI into real workflows. My research spans software verification, static analysis, and blockchain security, with peer-reviewed publications in EVM bytecode analysis.

Focus: AI systems engineering · agentic architectures · software verification · smart-contract analysis

LinkedIn CV Google Scholar

merendamattia.com

Pinned Loading

  1. lisa-analyzer/evm-lisa lisa-analyzer/evm-lisa Public

    EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode

    Solidity 37 4

  2. personal-financial-ai-agent personal-financial-ai-agent Public

    🚀 Get smarter financial decisions with AI: multi-LLM support (Ollama, Gemini, OpenAI), natural conversations about your finances, automated portfolio recommendations, and 10-year historical insights.

    Python 3 4

  3. devops-automation-hub devops-automation-hub Public template

    A customizable GitHub Actions setup to streamline and automate development workflows.

    TeX 1

  4. unipr-org/deep-neural-network unipr-org/deep-neural-network Public template

    Deep Neural Network Library: A flexible C++ library for building, training, and using deep neural networks. Modular, easy-to-use, and high-performance.

    C++ 4 1