I am an Invited Assistant Professor at the Department of Informatics of the Faculty of Sciences, University of Lisbon, and an integrated researcher at LASIGE.

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.


Andreia Mordido

Publications


Teaching


Faculty of Sciences, Universidade de Lisboa

2018/19

Instituto Superior Técnico, Universidade de Lisboa

2015/16

2014/15

2013/14

2012/13

Projects


Contact


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