Assistant Professor in the Department of Computer Science and Engineering at Técnico, holds a PhD in Mathematics by the Universidade Técnica de Lisboa in Formal Methods for Analysis of Security Protocols. During his PhD he was an exchange student at the University of Pennsylvania, USA, and a research-intern at Microsoft Research in Cambridge, England. He is a Member of the Security and Quantum Information Group of the Instituto de Telecomunicações and coordinates the security team STT (Security Team @ Técnico), composed by students from Técnico, which participate in international security competitions and who are currently ranked in the top-50 worldwide.