With more than 8 years of experience in cybersecurity as an offensive Security Engineer specialized in application security, cryptography and security of decentralized applications he assisted several organizations in improving their own cybersecurity strategy. And as an Instructor and a Speaker he presented Security lectures in universities and Conferences. Recently researching on Formal Verification in the cybersecurity Field.