Alexandra Mendes is an Assistant Professor at Departamento de Informática, University of Beira Interior, 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.


  • Formal Methods
  • Software Reliability
  • Software Verification
  • Interactive Theorem Proving
  • Innovative User Interfaces
  • Functional Programming


  • PhD in Computer Science

    University of Nottingham, UK

  • BSc in Mathematics and Computer Science

    Minho University, Portugal