I am an Associate Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC.

I hold a D.Phill in Computation from The University of Oxford.

My current interests are in  formal aspects of programming, namely the correctness of programs and methods of building correct programs.

For the last 20 years I have been teaching courses on functional and imperative programming as well as a course on algorithms and complexity to undergraduate students at Universidade do Minho.

I am also a member of the MFES (formal methods for software engineering) team in the MSc in Informatics Engineering.