At Roofcast, I’m the lead Solidity developer on a real-estate prediction market, building its CPMM, Gnosis CTF settlement, and atomic LP/swap logic. The protocol uses EIP-7702 delegated accounts for gasless one-click trading, with solvency checks after every state change.
On MoveX, I implemented EIP-712 signed gasless intents for a volatility derivatives DEX, where gas is paid only when a trade settles. I also worked on direction-neutral trading primitives and a settlement engine with strictly typed state transitions designed to keep the protocol solvent.
At Dexynth, I designed and built custom oracles so the multichain synthetics protocol could launch on emerging EVM L2 networks. I also developed and upgraded its contracts, including a multi-level real-yield staking system, and built its API, WebSocket, and microservices.
Before DeFi, I developed PLC and SCADA control software at CERN for cooling and ventilation systems, and co-founded Localización y Control de Flotas, where I led programming, integration, and R&D. I approach protocol work by specifying invariants first, then testing against them with stateful fuzzing and invariant testing in Foundry.
