My work is focused on high performance, formally verified post-quantum cryptographic implementations (high assurance cryptography for short).
Previously I worked at Goldman Sachs as a Cybersecurity Analyst.
From 2015 to 2020 I completed my Bachelors and Masters in Computer Engineering at University of Minho.
Thesis: “TrustZone based Attestation in Secure Runtime Verification for Embedded Systems” pdf Specialisation: Cryptography and Information Security, Parallel and Distributed Computing
Full CV: pdf
I’m an avid endurance athlete, focusing on (ultra) trail running, cycling and triathlons.