DeFi security researcher specializing in smart contract auditing, formal verification, and protocol analysis. Founder of Viridis Security. Focus areas: bridge security, oracle manipulation, lending protocol accounting, and ZK rollup infrastructure.