Born in 1975 in Lisbon, studied at IST where he got his PhD in 2001 with a thesis on the interconnection of probabilistic systems. In the Fall semester of 2001-02, he was a postdoc at the Logic and Computation Group,  Department of Mathematics, University of Pennsylvania. In 2006, he obtained his agregação (habilitation) in Mathematics from the Technical University of Lisbon. His habilitation thesis was awarded the Portuguese IBM Scientific Prize 2005. Currently, he is an Associate Professor at the Department of Mathematics of IST  and coordinates the Security and Quantum Information Group at Instituto de Telecomunicações.

• Discrete Mathematics (undergraduate course, co-designed with C. Sernadas)
• Cryptography and Security Protocols (graduate course)
• Quantum Information, Computation and Logic (PhD course, co-designed with A. Sernadas)

Most of his research has been focused on probabilistic and quantum models of computation, including formal reasoning about concurrent and security protocols.

• QuantTel: Quantum Telecommunications
• QSec: Quantum Security
• Multiparticle quantum walks and their algorithmic applications
• EuroNF: European Network of Excellence on the Future of Networks  (SQIG coordinator)

• Journal papers
• Serial papers
• Book chapters
• Conference papers
• Edited proceedings
• All (including submitted papers and theses)

• Ricardo Loura (since November 2011 - grant from FCT)
• Manuel Biscaia (since November 2010 - grant from FCT)
• João Rodrigues (since November 2009 - grant from FCT)
• David Henriques (since September 2009 - grant from the dual PhD Program CMU-Portugal)

• Pedro Baltazar (2010, co supervised with C. Sernadas - grant from FCT)
• Pedro Adão (2006, co supervised with A. Scedrov U. Pennsylvania - grant from FCT)