Experienced blockchain developer specializing in smart contract auditing and security. Proven ability to identify vulnerabilities in Solidity code, with a focus on DeFi protocols. Skilled in formal verification and penetration testing for Web3 applications. Passionate about securing decentralized systems against common attack vectors, including reentrancy and integer overflows.