Specializing in Protocol Architecture, Applied Cryptography, and Formal Verification. I focus on the mathematical correctness and economic security of decentralized systems.

• Protocol Design & Implementation: Deep understanding of AMMs, Lending Markets, and Cross-chain communication (LayerZero V2).
• Formal Verification & Rigorous Testing: Leveraging Certora (CVL), Halmos, and Echidna to prove contract invariants.
• Cryptography & Math: Practical implementation of cryptographic primitives and complex mathematical models in Solidity/Rust.
• Security Auditing: Comprehensive vulnerability research across EVM and non-EVM chains.

• Formal Verification: Certora (CVL), Halmos, K-Framework, Sui-prover
• Fuzzing & Symbolic Execution: Echidna, Medusa, Foundry, Kontrol
• Static Analysis: Slither, Aderyn, Mythril
• Frameworks: Foundry (Forge/Cast), Hardhat, Soy

Over the last 6 months, I have pivoted deeply into Formal Verification. I specialize in:

• Writing complex Certora Spec (CVL) for hybrid protocols (like ERC404/LayerZero).
• Implementing Invariant Testing handlers to ensure system-wide state consistency.
• Using Symbolic Execution to verify edge cases in mathematical libraries (FixedPoint, Bonding Curves).

I have hands-on experience deploying, optimizing, or auditing components of:

• DeFi Giants: Aave, Velodrome V2, PancakeSwap V3, GMX
• Infrastructure: LayerZero V2, Custom Rollups, Liquid Staking Derivatives
• Advanced ERCs: ERC404 (Hybrid NFT/FT), ERC4626 (Vaults)