Currently, I am a second year Ph.D. student under the MAPi doctoral programme, and a researcher at HASLab/INESC TEC working for project PRACTICE. I hold a M.Sc. thesis in Informatics Engineering from University of Minho.


My research interests are cryptography and information security, more specifically regarding formal verification of secure multiparty computation protocols. The goal of my Ph.D. project is to improve the implementation of high-assurance multiparty computation protocols, by bridging the gap between rigorous theoretical security models and efficient practical implementations.