Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal
pmat@math.ist.utl.pt
paulocmateus at Skype
Tel. +351 21 8417149
Fax. +351 21 8417048
Professor for Logic and Computation at IST
Vice-coordinator of the PhD Program in Information Security at IST
Founding member and current Coordinator of SQIG at Instituto de Telecomunicações
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.