With over a decade of experience in cybersecurity, I specialize as a Senior Security Researcher in application security, cryptography, and the security of decentralized applications. Throughout my career, I have assisted numerous organizations in enhancing their cybersecurity strategies.
As an instructor and speaker, I have delivered security lectures at universities and conferences, sharing my expertise with the academic and professional communities. My current research focuses on formal verification within the cybersecurity field, aiming to advance the reliability and security of systems.