I've been working as a security researcher for the past 4 years, having reviewed some of the most popular smart contracts including, MakerDAO, Lido, and Curve. I'm very interested in helping developers build secure smart contracts by developing static analysis tools.