Biography

I am an Assistant Professor at Department of Informatics Engineering, Faculty of Engineering, University of Porto and I co-lead the Software Reliability Lab. I am also a member of the Formal Methods Teaching Committee and a Fellow of The Higher Education Academy (HEA). In 2023, I was a Visiting Researcher at Carnegie Mellon University under the CMU Portugal Program, hosted at CyLab Security and Privacy Institute. I was a recipient of the Amazon Research Award in Automated Reasoning in the Fall 2024 call. Finally, I am also a senior researcher at INESC TEC.

My research focuses on encouraging a wider adoption of software verification by creating tools and methods that hide the complexities of verifying software. Much of my most recent work overlaps with the area of software engineering.

Interests

  • Software Reliability
  • Software Verification
  • Software Engineering
  • Formal Methods
  • Innovative User Interfaces

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.
Gustavo Santos, João Bispo, Alexandra Mendes (2025). Detecting Resource Leaks on Android with Alpakka. In SLE 2025. CORE B conference.

PDF Code

Nuno Saavedra, João F. Ferreira, Alexandra Mendes (2025). InfraFix: Technology-Agnostic Repair of Infrastructure as Code. In ISSTA 2025, Tool Demonstrations Track. CORE A conference.

PDF Code Video

David Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira (2025). Contract Usage and Evolution in Android Mobile Applications. In ECOOP 2025. CORE A conference.

PDF Code

Mateus Silva, Ana C. R. Paiva, Alexandra Mendes (2025). GAMFLEW: Serious game to teach white-box testing. In Software Quality Journal, 2025. Q2 Journal.

PDF DOI

Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan (2024). Does Every Computer Scientist Need to Know Formal Methods?. In Formal Aspects of Computing, 2024.

PDF DOI

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