I am an Assistant Professor at Department of Informatics Engineering, Faculty of Engineering, University of Porto and a researcher at INESC TEC. I am also a member of the Formal Methods Teaching Committee and a Fellow of The Higher Education Academy (HEA). Previously, I was a Lecturer at York St John University and later a Senior Lecturer at Teesside University. In 2019, I became an Assistant Professor at University of Beira Interior. I completed my PhD at the University of Nottingham.

My research focuses on innovative user interfaces for formal methods and mathematical approaches to software quality. Through my research I aim at encouraging a wider adoption of software verification by creating tools and methods that hide the complexities of verifying software. More recently, I started work on usable security, in particular on the impact of formal verification on the use and adoption of formally verified security software products. I am 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