I’m a Ph.D researcher at the Max-Planck Institute for Security and Privacy under the supervision of Peter Schwabe and Gilles Barthe.

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.

My Master’s thesis was written at the High-Assurance Software Laboratory (HASLab) as part of the REASSURE project.

Thesis: “TrustZone based Attestation in Secure Runtime Verification for Embedded Systems” pdf Specialisation: Cryptography and Information Security, Parallel and Distributed Computing

Full CV: pdf

Non-Academic Interests

I’m an avid endurance athlete, focusing on (ultra) trail running, cycling and triathlons.