Professor Auxiliar no Departamento de Engenharia Informática do Técnico, é Doutorado em Matemática pela Universidade Técnica de Lisboa em Métodos Formais para Análise de Protocolos de Segurança.Durante o doutoramento foi exchange-student na Universidade da Pennsylvania, EUA, e research-intern na Microsoft Research em Cambridge, Inglaterra. É Membro do Security and Quantum Information Group do Instituto de Telecomunicações e coordena a equipa de segurança STT (Security Team@Técnico), formada por alunos do Técnico, que participa em competições internacionais de segurança e que, atualmente, está classificada no top-50 mundial.