معرفی
Pedro Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of the Instituto Superior Técnico (IST), University of Lisbon. He is affiliated with the SQIG - Security and Quantum Information Group at the Institute of Telecommunications, formerly part of CLC - Logic and Computation Centre. His work bridges formal methods and computational cryptography, focusing on security protocols, software security, and quantum information security.
- PhD in Mathematics (2006, IST) with thesis "Formal Methods for the Analysis of Security Protocols"
- Graduated in Applied Mathematics and Computation (2002, IST) with thesis "Electronic Money"
His research interests include verification of secure systems, composition of secure systems, mathematical foundations of cryptography, and physical/day-life security. His publications span topics like firewall configuration tools, smart contract verification, quantitative protocol analysis, and computationally sound symbolic cryptography. He has collaborated with institutions such as the University of Pennsylvania, Microsoft Research Cambridge, and INRIA-Microsoft Research Paris.
Key teaching contributions include courses in Introduction to Algorithms and Data Structures, Computational Models in Security, and Software Security. He is a member of the SQIG research group and has organized the SQIG Information Security Seminar. Past teaching roles include lecturing at the Catholic University of Portugal and the Air Force Academy.
