Born in 1980 in Lisbon, Pedro Adão graduated in Applied Mathematics and Computation at Instituto Superior Técnico (IST) in 2002 and received his PhD in Mathematics from IST in 2006, with the thesis Formal Methods for the Analysis of Security Protocols, supervised by Paulo Mateus and Andre Scedrov. In 2004-2005 he was a visiting student at the Department of Mathematics of the University of Pennsylvania and in 2005 a research intern at Microsoft Research Cambridge. In 2008 and 2009 he was an invited researcher at the INRIA-Microsoft Research Joint Centre in Paris. Currently he is an Associate Professor at the Department of Computer Engineering of IST and a researcher at Instituto de Telecomunicações (SQIG), of which he has been a member since 2001. He organizes the SQIG Information Security Seminar.

His research has been focused on software security, the specification and verification of cryptographic protocols, the mathematical foundations of cryptography and the composition of cryptographic systems.

Papers and profiles in the following links:

Selected past projects at Instituto de Telecomunicações:

Co-supervised PhD theses:

Courses in the areas of software security, algorithms and data structures, and cryptography.