Paulo Mateus

Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal


Universidade de Lisboa

paulocmateus at Skype

Tel. +351 21 8417149 

Fax. +351 21 8417048


Associate 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

Short Biography

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.



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.



OrcID 0000-0002-2393-8224
ISI ResearcherID C-9059-2009
Microsoft Academic Author 925168
Google Scholar profile
AMS profile


PhD Students (current)
  • Serena Di Giorgio (Since February 2016 - co-supervised with N. Paunkovic  - grant DP-PMI from FCT)
  • Mariano Lemus (Since February 2016 - co-supervised with N. Paunkovic  - grant DP-PMI from FCT)
  • Preeti Yadav (Since November 2015 - co-supervised with A. Souto - grant DP-PMI from FCT)
  • Chrysoula Vlachou (Since November 2014 - co-supervised with N. Paunkovic - grant DP-PMI from FCT)
PhD Students (past)
  • João Rodrigues (2017 - co-supervised with N. Paunkovic - grant from FCT)
  • Ricardo Loura (2017 - co-supervised with V. R. Vieira - grant from FCT, currently at Tekever)
  • David Henriques (2016 - grant from FCT, currently at BNP Parisbas)
  • Manuel Biscaia (2016 - grant from FCT, currently at Critical Software UK)
  • Pedro Baltazar (2010, co-supervised with C. Sernadas - grant from FCT, currently at UBS Zurich)
  • Pedro Adão (2006, co-supervised with A. Scedrov U. Pennsylvania - grant from FCT, currently at IST Lisbon)
Post-docs (past)
  • Andre Souto (From September 2012 to February 2016 - grant from FCT)
  • Filipe Moura (November 2007 to June 2008 - grant from FCT)
  • Nikola Paunkovic (March 2006 to June 2007 - grant from FCT)
  • Rohit Chadha (co-supervised with A. Sernadas - grant from FCT), September 2005 - September 2006