Alexandra Mendes | VeriFixer Project

Alexandra Mendes

Sun, 07 Sep 2025 00:00:00 +0000

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.

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny

Sun, 07 Sep 2025 00:00:00 +0000

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs

Sun, 07 Sep 2025 00:00:00 +0000

What Challenges do Developer Face when using Verification-Aware Languages?

Sun, 20 Jul 2025 00:00:00 +0000

Contract Usage and Evolution in Android Mobile Applications

Fri, 28 Feb 2025 00:00:00 +0000