He obtained his doctorate in Mathematics and was a Postdoc at the University of Pennsylvania. He was awarded the IBM scientific prize, Portugal, in 2005 for his habilitation thesis. Currently he is a Professor from the Mathematics Department of Instituto Superior Técnico and a researcher from Instituto de Telecomunicações. In 2006, he founded and presently coordinates the Security and Quantum Information Group. His present research is focused on using quantum resources for security and communication and has been author and co-author of more than 50 peer-reviewed international journal publications in mathematics. He has coordinated several national and international projects and has been guest editor of Logic Journal of the IGPL, IEEE Communications, and part of the program committee of several workshop and conferences. He was invited by the Hungarian (OTKA), Czech (GACR) science foundations, as well as by the Israeli Ministry of Science and Technology, to be a member of the evaluation board for their national projects and postdocs. He was a member of the Managing Board of the European Network and Information Security Agency, vice-president of Centro Internacional de Matemática, and consultant for the Portuguese National Security Agency.

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

Papers and projects in the following links:

Recent and ongoing projects:

Supervised PhD theses:

The courses created focus mainly on computational applications and discrete mathematics.