In my research I pursue rigorous ways to reason about programming, which I have successfully been able to apply in the context of green computing, functional programming, spreadsheets, bidirectional transformations and software and language engineering, and in the context of several research projects such as SSaaPP, FATBIT and GreenSoftwareLab. Currently, I am also a member of the Center for Informatics and Systems of the University of Coimbra (CISUC) and of the Green Software Lab (greenlab).
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), the University of Porto, Faculty of Engineering (Assistant Professor, 2010-2012) and the University of Beira Interior (Assistant Professor, 2012-2016).
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.
For more information about me please consult my webpage.