Experienced smart contract auditor with 7+ years of experience in blockchain security. Proficient in identifying vulnerabilities in Solidity and Vyper code, including reentrancy attacks, overflow errors, and gas limit issues. Focused on providing thorough security assessments for DeFi protocols and NFT projects, ensuring robust protection against exploits and maintaining user trust. Deep knowledge of formal verification techniques and static analysis tools.