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, during which time I was hosted at CyLab Security and Privacy Institute. Previously, I was a Lecturer at York St John University, Senior Lecturer at Teesside University, and 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. Much of my most recent work overlaps with the area of software engineering. I am also interested on innovative and fun ways to teach Computer Science.