About me
I am a Senior Staff Security Verification engineer at Infineon Technologies. My background includes cryptographic hardware, hardware security, FPGA and ASIC design, formal verification, post-quantum cryptography, and privacy-preserving accelerators. I hold MSc and PhD degrees in Electrical Engineering from UFSC and have previously worked at TII, INESC-ID, Crypto Quantique, Capgemini Engineering, and Astrolight.