I am an Assistant Professor at the Informatics Department of University of Beira Interior, Portugal and a member of the High-Assurance Software Laboratory (HASLab).

In my research I pursue rigorous ways to reason about programming, which I have successfully been able to apply in the context of functional programming, spreadsheets, language engineering and bidirectional transformations, and in the context of several research projects such as SSaaPP and FATBIT. Currently, I am also a member of the Reliable and Secure Computation Group (rel)ease.

I have graduated in Mathematics and Computer Science from  the University of Minho, in 2004 (best of class, with an average score of 17/20), having conducted my graduation thesis under the PURe project. Later, in March 2009, I have received my Ph.D. degree from the same university, following my work on the Design, Implementation and Calculation of Circular Programs.

In the past, I have held different types of positions in several institutions such as the University of Minho (Monitor, 2002-2004), the Polytechnic Institute of Porto (Assistant Professor, 2008-2010) and the University of Porto, Faculty of Engineering (Assistant Professor, 2010-2012).