معرفی
Andreia Mordido serves as an Assistant Professor in the Department of Informatics at the Faculty of Sciences, University of Lisbon, and is an integrated researcher at LASIGE. She previously conducted research as a visiting scholar at Carnegie Mellon University's Principles of Programming (PoP) group during Fall 2019.
Her academic credentials include:
- Ph.D. in Information Security (2017), Instituto Superior Técnico, University of Lisbon
- M.Sc. in Mathematics and Applications (2011), Instituto Superior Técnico, University of Lisbon
- B.Sc. in Mathematics (2009), Faculty of Sciences and Technology, New University of Lisbon
Her research centers on programming languages and type systems for specifying and verifying communication protocols, with earlier contributions to probabilistic/equational logics for cryptographic protocol security and probabilistic satisfiability solvers. Primary interests span Programming Languages, Type Systems, Logic, Satisfiability Problems, and Probabilistic and Equational Reasoning.
Analysis of her 15 most recent publications reveals a concentrated research trajectory in session types and protocol verification, with increasing sophistication in handling nested protocols, context-free session types, and higher-order abstractions. Her work bridges theoretical foundations in type theory with practical applications in concurrent and distributed systems, particularly evident in blockchain and smart contract domains.
Scientific recognition includes:
- Distinguished Paper Award at POPL 2024 for "Parametric Subtyping for Structural Parametric Polymorphism"
Dr. Mordido has secured involvement in multiple research initiatives:
- SafeSessions: Safe Concurrent Programming with Session Types
- Confident: Communication contracts for distributed systems development
- ASGARD: Analysis system for gathered raw data
- ECOSSIAN: European Control System Security Incident Analysis Network
- ComFormCrypt: Computational Semantics of Formal Methods in Cryptography
- Co-evolution and self-organization of cooperation
Her teaching portfolio spans Domain-Specific Languages, Object Oriented Development, Introduction to Programming, and Theory of Computation across Faculty of Sciences (2018-present) and Instituto Superior Técnico (2012-2016), demonstrating consistent engagement with both theoretical and applied computer science education.
As an LASIGE researcher, she contributes to Portugal's premier software engineering research laboratory focused on advanced computing solutions and formal methods.
