I am an Assistant Professor at Department of Informatics Engineering, Faculty of Engineering, University of Porto, where I am a member of the Software Engineering R&D laboratory, and a senior researcher at INESC TEC. 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.

My research focuses on encouraging a wider adoption of software verification by creating tools and methods that hide the complexities of verifying software. Recently, I started work on usable security, in particular on the impact of formal verification on the use and adoption of security software products. Much of my most recent work overlaps with the area of software engineering.


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


  • PhD in Computer Science

    University of Nottingham, UK

  • BSc in Mathematics and Computer Science

    Minho University, Portugal

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.