I received my Ph.D. degree in Information Security from University of Lisbon in 2017, my M.Sc. degree in Mathematics and Applications from Instituto Superior Técnico, University of Lisbon, in 2011, and my B.Sc. in Mathematics from Faculty of Sciences and Technology, New University of Lisbon, in 2009.
My research work focuses on formal methods for the specification and verification of communication protocols, programs, and machine learning models. My main research interests include logic, type systems, programming languages, satisfiability problems, probabilistic and equational reasoning.
B. Almeida, A. Mordido, V. T. Vasconcelos. PLACES 2019. Electronic Proceedings in Theoretical Computer Science, in print. 2019.
C. Caleiro, F. Casal, A. Mordido. Theoretical Computer Science. 2019.
A. Mordido, C. Caleiro. Mathematical Structures in Computer Science. 2019.
C. Caleiro, F. Casal, A. Mordido. Proceedings of IJCAI 2017 | Github
A. Mordido. PhD thesis. 2017.
C. Caleiro, F. Casal, A. Mordido. LSFA 2016 Post- Proceedings. Electronic Notes in Theoretical Computer Science | Github
A. Mordido, C. Caleiro. WoLLIC 2015 Proceedings, volume 9160 of Lecture Notes in Computer Science. Springer. 2015.
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