I am an Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon, and an integrated researcher at LASIGE. I was a visiting researcher at Carnegie Mellon University in Fall 2019, where I worked at the PoP group.
I received my Ph.D. degree in Information Security in 2017 and my M.Sc. degree in Mathematics and Applications in 2011, both from Instituto Superior Técnico, University of Lisbon, and my B.Sc. in Mathematics from Faculty of Sciences and Technology, New University of Lisbon, in 2009.
My research work focuses on programming languages and type systems for the specification and verification of communication protocols and programs.
In the past, I worked on probabilistic and equational logics for the formalization of security properties on cryptographic protocols. I have also worked on satisfiability problems and implemented solvers for probabilistic satisfiability problems, used for validating security properties on protocols.
Research interests: Programming Languages, Type Systems, Logic, Satisfiability Problems, Probabilistic and Equational Reasoning.
Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning.
TOPLAS, Special issue on ESOP 2021. 2022.
Bernardo Almeida, Andreia Mordido, Peter Thiemann, and Vasco T. Vasconcelos.
Information and Computation. 2022.
Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning.
ESOP 2022. Lecture Notes in Computer Science. 2022.
Filipe Casal, Andreia Mordido, and Vasco T. Vasconcelos.
Theoretical Computer Science. 2022.
Diana Costa, Andreia Mordido, Diogo Poças, and Vasco T. Vasconcelos.
PLACES 2022.
Afonso Falcão, Andreia Mordido, and Vasco T. Vasconcelos.
Workshop on Trusted Smart Contracts 2022.
Ankush Das, Henry DeYoung, Andreia Mordido, and Frank Pfenning.
Technical report, available at arXiv. 2021.
Ankush Das, Henry DeYoung, Andreia Mordido, and Frank Pfenning.
ESOP 2021. Lecture Notes in Computer Science. 2021.
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, and Andreia Mordido.
ESOP 2020. Lecture Notes in Computer Science. 2020.
Bernardo Almeida, Andreia Mordido, and Vasco T. Vasconcelos.
TACAS 2020. Lecture Notes in Computer Science. 2020.
Filipe Casal, Andreia Mordido, and Vasco T. Vasconcelos.
PLACES 2020. Electronic Proceedings in Theoretical Computer Science. 2020.
Bernardo Almeida, Andreia Mordido, and Vasco T. Vasconcelos.
PLACES 2019 | TryIt
Carlos Caleiro, Filipe Casal, and Andreia Mordido.
Theoretical Computer Science. 2019.
Andreia Mordido and Carlos Caleiro.
Mathematical Structures in Computer Science. 2019.
Carlos Caleiro, Filipe Casal, and Andreia Mordido.
IJCAI 2017 | Github
A probabilistic logic over equations and domain restrictions
Andreia Mordido. PhD thesis. 2017.
Carlos Caleiro, Filipe Casal, and Andreia Mordido.
Electronic Notes in Theoretical Computer Science | Github
Andreia Mordido and Carlos Caleiro.
WoLLIC 2015. Lecture Notes in Computer Science. 2015.
Faculdade de Ciências, Universidade de Lisboa
2022/23
Spring term: Domain-Specific Languages and Object Oriented Development
Fall term: Introduction to Programming
2021/22
Spring term: Domain-Specific Languages and Object Oriented Development
Fall term: Introduction to Programming
2020/21
Spring term: Domain-Specific Languages and Object Oriented Development
Fall term: Introduction to Programming and Theory of Computation
2019/20
Spring term: Object Oriented Development and Fundamentals of Computation
Fall term: Introduction to Programming and Theory of Computation
2018/19
Spring term: Object Oriented Development and Algorithms and Data Structures
Fall term: Introduction to Programming and Theory of Computation
Instituto Superior Técnico, Universidade de Lisboa
2015/16
Spring term: Discrete Mathematics
Fall term: Elements of Programming
2014/15
Spring term: Discrete Mathematics
2013/14
Fall term: Computation and Programming
2012/13
Spring term: Discrete Mathematics
Fall term: Computation and Programming
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
Departamento de Informática
Faculdade de Ciências da Universidade de Lisboa
Campo Grande, 1749-016 Lisboa
Portugal
Email: afmordido (at) fc.ul.pt
Phone: (+351) 217 800 087