معرفی
Pedro Miguel Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of Instituto Superior Técnico (IST), University of Lisbon. He holds a PhD in Mathematics from IST (2006) and a Diploma in Applied Mathematics and Computation from the same institution (2002). His research focuses on cryptography, security protocols, formal methods, quantum security, and process calculi. He has conducted research at Microsoft Research Cambridge and the INRIA-Microsoft Research Centre in Paris, and is a member of the SQIG research group.
Education:
- PhD in Mathematics, IST - University of Lisbon (2006)
- Diploma in Applied Mathematics and Computation, IST - University of Lisbon (2002)
Research Interests: Adão’s work spans formal verification of cryptographic protocols, computational soundness, quantum security models, and security tool development. He has contributed to frameworks for analyzing security protocols and designing secure systems. Recent work includes firewall configuration tools (Mignis) and type-based analysis of cryptographic APIs.
Affiliations & Activities: Organizer of the SQIG Information Security Seminar, PC member in multiple conferences (e.g., INForum, POST), and invited researcher at international institutions. His publications address topics like computational soundness, symbolic attackers, and Bayesian network classifiers.
