My main research interests are on mathematical approaches to software quality and on innovative and fun ways to teach Computer Science.
I hold a 5-year degree in Mathematics and Computer Science from the University of Minho, Portugal. I also hold a PhD from the University of Nottingham, UK, which I have finished in 2012. My PhD project was on structure editing of handwritten mathematics.
See my publications page for a list of papers.
My teaching is mainly on maths and programming. I currently teach the following modules:
Introduction to Mathematics
Java Programming 1 and Java Programming 2
- New paper: "Towards Verified Handwritten Calculational Proofs (short paper)" – March 30, 2018
New paper: "MISER: Mise-En-Scene Region Support for Staging Narrative Actions in Interactive Storytelling" –
February 18, 2017
Our paper “MISER: Mise-En-Scene Region Support for Staging Narrative Actions in Interactive Storytelling”, co-authored with Jamie Matthews, Fred Charles, and Julie Porteous has been accepted at AAMAS’17
New JLAMP paper: "A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra" –
December 18, 2015
My paper “A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra”, co-authored with João F. Ferreira, has been accepted for publication in Journal of Logical and Algebraic Methods in Programming (JLAMP)
- The Magic of Algorithm Design and Analysis -- Teaching Algorithmic Skills using Magic Card Tricks accepted to ITiCSE'14 – March 3, 2014