Senior Smart Contract Engineer building DeFi systems that stay solvent under adversarial conditions: vaults, lending markets, AMMs and liquidation engines. Before DeFi, I spent three years developing PLC and SCADA control software for the cooling and ventilation systems behind CERN's accelerators and experiments. I bring the same discipline onchain: specify the invariants first, then build and test the code against them.
Currently tech lead at Roofcast, a real-estate prediction market protocol, and independent protocol architect.
 Isolated, single-base lending market inspired by Compound III, built around provable solvency: directed rounding, a single accounting path and bad debt recorded as negative reserves. 277 tests, coverage above 95% per contract, stateful invariant suite |
 Vault accounting decoupled from yield strategies, with an atomic leveraged loop on Uniswap V4 flash loans and Aave V3 E-Mode. 205 tests, 93.72% coverage, 27 stateful invariant tests |
 A later independent rebuild of the staking system I wrote at Dexynth, with an O(1) reward accumulator. Over 96% less gas to unstake, over 72% less to harvest |
 Permissioned security token implementing the ERC-3643 identity and compliance model from scratch: signed EIP-712 attestations, a modular compliance engine and custodian-gated recovery. Solidity, Foundry, EIP-712, ERC-3643 subset, ERC-1643 |
 Leveraged synthetic futures against a single-sided USDC vault, with a three-layer solvency design and Pyth prices anchored to Chainlink. An independent design drawing on my work at Dexynth. Solidity, Foundry, ERC-4626, Pyth, Chainlink |
 Independent research proof of concept, built before my work at Roofcast. Not production code. Virtual-liquidity CPMM, Gnosis Conditional Tokens |
Reports and findings are collected in security-review-reports.
| Protocol | Focus | Approach |
|---|---|---|
| Vault Guardians | ERC-4626 compliance and access control | Foundry, fuzzing |
| Thunder Loan | Flash loans and oracle manipulation | Manual review, Slither |
| Boss Bridge | L1/L2 message passing and signature replay | Stateless fuzzing |
| TSwap | AMM invariant analysis (x * y = k) | Invariant testing |
- Pulsar DAO: governance program on Solana with a hybrid voting model, proxy locks and treasury execution. Rust and Anchor.
- GMX V2 AI agent: Telegram bot that turns natural-language commands into trades on GMX V2 (Arbitrum). Node.js, TypeScript, OpenAI API, ethers.js.
- EIP-712 wallet verification: off-chain signature verification for gasless interactions.
I work with teams as an engineer, architect or security reviewer. Whether you are building a protocol or hiring for one, feel free to reach out.