Engineering case studies, not screenshots: the problem behind each project, the architecture chosen and where it goes next.
Decentralized dispute resolution
🏆 1st place — Prediction Markets, Aleph & GenLayer Hackathon
1st place, Prediction Markets track at the Aleph & GenLayer Hackathon. Proven mediates peer-to-peer commercial disputes with subjective-logic smart contracts on GenLayer, where LLM validators evaluate the evidence each party submits — still in active development with the team.
Digital evidence, redesigned as protocol
🏆 1st place — Legalthon UBA · Cardano community
1st place at the Legalthon on Decentralized Governance (UBA, Cardano community). Co-authored a technical and normative proposal that translates procedural requirements — timestamping, hash integrity, authorized signatures — into an immutable protocol on Cardano, with guidelines for a draft bill.
Verifiable life-cycle traceability
Research collaboration at UTN. EcoTrace records environmental metrics per production phase using Solidity contracts on EVM networks and permissioned Hyperledger Fabric deployments, with a type-safe Next.js frontend validating claims against external environmental databases.
AI agent for post-visit care
Built at the Kaszek & Anthropic Hackathon in Buenos Aires. Sana is a conversational assistant that reads prescriptions from images, structures the treatment plan and cross-checks doses against pharmacological databases to flag harmful interactions.
RegTech for the right to food
Independent research, in development. The oracle crosses ANMAT, SENASA and FAO datasets with the Argentine Food Code using retrieval-augmented generation, answering natural-language queries with auditable compliance reports.
Business-model validation for founders
🏆 Finalist — Trama BootCamp (ITBA)
Finalist at ITBA's Trama Entrepreneurship BootCamp. Lupio lets early-stage founders load market hypotheses and returns structured viability analysis — TAM/SAM/SOM, monetization consistency — evaluated in front of real investor panels.
Rapid AI-agent prototyping
Vercel's global Zero to Agent sessions. Prototyped a type-safe agent with the Vercel AI SDK and MCP integrations, using v0 as the experimentation environment — a workflow that is now part of how I build every MVP.