I'm an Assistant Professor at the Department of Informatics at Universidade do Minho and researcher at INESC TEC. Currently, I serve as Assistant Coordinator of the HASLab, a research unit of Universidade do Minho and INESC TEC.
My main research interests are software engineering and functional programming. Currently, I'm mainly working on bidirectional transformation and model-driven engineering. In particular, I'm the coordinator of the FATBIT project on foundations, applications and tools for bidirectional transformation, where we are developing (among others) the Echo tool for bidirectional model transformation with QVT-R.
I'm currently teaching functional and imperative programming to undergrad students, and lightweight formal methods to our master's degree in informatics engineering.