Alexandra Mendes is an Assistant Professor at the Department of Informatics Engineering, University of Porto, and a researcher at INESCTEC. Her research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality.