Currently, I’m a Cryptography Engineer at the Max-Planck Institute for Security and Privacy working on formally verified post-quantum cryptographic implementations as part of the Formosa Crypto project.

Before that, I did my BSc in Software Engineering at the University of Minho and my MSc in Information Security at the Faculty of Sciences of the University of Porto where I wrote my Master’s thesis on Speculative Execution Resilient Cryptography.

• CV (last updated on Oct 6, 2025)