My Space
A collection of my projects, skills, and experiences.
Featured Projects
AWS Security & FinOps
IAM Axiom Verifier
A Neuro-Symbolic Inference Engine that combines LLMs with SMT solvers to mathematically audit AWS IAM policies.
🧪 Take care! It's a PoC
pip install iam-axiom-verifier Distributed Systems
AffinityRouter
Intelligent task routing library that uses consistent hashing to maximize in-memory cache hits and minimize database pressure.
🧪 Take care! It's a PoC
pip install affinity-router CLI Tool · Beta
ask-term
Animated CLI for multi-provider LLMs with persistent sessions. Chat with GPT, Claude, Gemini or Ollama directly from your terminal.
pip install ask-term My Stack
Modern Backend Architectures
Building scalable, resilient systems with cutting-edge technologies
AWS Developer – Associate
AWS Developer – Associate
DVA-C02 · In Progress
Course by Tutorials Dojo · Exam expected for this summer
GitHub
@marcbadiam
340+ commits in the last year
Check out my open source projects and contributions!
Visit Profile →University
Universitat Rovira I Virgili
Software Engineering
Graduation in 2027
Computer Engineering with Software Specialization
Languages
I speak multiple languages to collaborate effectively with global teams.
