Biography

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.

Interests

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

Education

  • PhD in Computer Science

    University of Nottingham, UK

  • BSc in Mathematics and Computer Science

    Minho University, Portugal

Recent Publications

View all the publications

Quickly discover relevant content by filtering publications.
Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry (2020). Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. In AsiaCCS 2020.

PDF Project

Tony Hoare, Alexandra Mendes, João F. Ferreira (2019). Logic, Algebra, and Geometry at the Foundation of Computer Science. In FMTea 2019.

PDF Project

Saul Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry (2019). Lost in Disclosure: On The Inference of Password Composition Policies. In RSDA 2019.

PDF Project

João F. Ferreira, Alexandra Mendes (2019). Open and Interactive Learning Resources for Algorithmic Problem Solving. In OpenCert 2019.

PDF Project

Alexandra Mendes, João F. Ferreira (2018). Towards Verified Handwritten Calculational Proofs. In ITP 2018.

PDF Project

See all publications

Selected Projects

Password Security

Tools and methods to improve password security.

FM Education

Tools, methods, and resources that support teaching formal methods.

Interfaces for Formal Methods

Innovative user interfaces to support the handwriting of formal proofs.

Contact