I am a lecturer at the Department of Computer Science in the Faculty of Science of the University of Porto (DCC-FCUP) and a researcher at HASLab, one of the R&D units of INESC TEC. My research interests lie in Cryptography and Information Security and Formal Verification.
I hold a Ph.D. in Electrical and Electronic Engineering from Newcastle University, an M.Sc. from the same University, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. In the past I have been a visiting researcher at University of Bristol, École Normale Supérieure, Bar-Ilan University and Inria Sophia-Antipolis.
I have been working on the development of high-assurance cryptographic implementations for the last 10 years, aiming to bridge the gap between theoretical security and real-world security. I am particularly interested in provable security and its interplay with the formal verification of cryptographic proofs and cryptographic software implementations.