Extending EcoAndroid with Automated Detection of Resource Leaks with Rui Pereira, João F. Ferreira, and Rui Abreu.
Verified Password Generation from Password Composition Policies with Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida.
Our paper Towards Handwritten Calculational Proofs was recognised as a Springer Nature 2019 highlights!
Are you a talented student or post-doc interested in pursuing a research career in Computer Science? Get in touch and join me in sunny Portugal!
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.
PhD in Computer Science
University of Nottingham, UK
BSc in Mathematics and Computer Science
Minho University, Portugal