Professor Associado com Agregação do Instituto Superior Técnico da Universidade de Lisboa e investigador sénior do INESC-ID. Tem licenciatura e mestrado em Engenharia Eletrotécnica e de Computadores pelo Instituto Superior Técnico e Doutoramento em Informática pela Faculdade de Ciências da Universidade de Lisboa. Esteve envolvido em vários projetos de investigação no âmbito da cibersegurança e confiança distribuída/Block chain, entre os quais se destacam os projetos europeus QualiChain, MAFTIA, CRUTIAL, ReSIST, TCLOUDS, PCAS e SafeCloud. Tem mais de 150 publicações em revistas, conferências e workshops. É coautor do livro “Segurança no Software”, com 2ª edição de 2017. É cofundador de uma startup no domínio da Block chain, a Blockbird Ventures.