I am a Tech Lead and Security Researcher at Certora with over three and a half years of experience securing DeFi protocols. I work closely with core protocol teams on security driven design and have contributed to the architecture of major Ethereum protocols including Aave and Lido and many more.