I’m a senior software engineer at Formal helping empower security teams to enforce least-privilege access for agents and humans using proxies. Previously, I worked on security and infrastructure at Cloudflare and Verkada.
I graduated from Stanford University in 2024 with B.S. and M.S. degrees in computer science focusing on systems and security. At Stanford, I designed and taught a new course on cloud infrastructure, led Applied Cyber competition teams to podium national CCDC and CPTC performances, and conducted security research with Stanford ESRG.