Alexandra Mendes is an Assistant Professor at Departamento de Engenharia Informática, Faculty of Engineering, University of Porto, and a researcher at INESC TEC. She is also a member of the Formal Methods Teaching Committee and a a Fellow of The Higher Education Academy (HEA).

Her research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality. Through her research she aims at encouraging a wider adoption of software verification by creating tools and methods that hide the complexities of verifying software. She is also interested on innovative and fun ways to teach Computer Science.

For more details, visit Alexandra’s website.