Builder from Medellín. Team1 member, biz dev analyst and community builder across LatAm. 4 years in blockchain building and competing. Three hackathon wins. Currently working on deterministic governance for AI agents using Z3 formalverification and on-chain attestation on Avalanche. Background in public sector innovation at Medellín city government.
jquiceva@gmail.com