About
I am assistant professor at the Department of Informatics of Universidade do Minho, where I regularly teach courses on programming and formal methods for software engineering, and also a member of the High-Assurance Software Laboratory of INESC TEC. In recent years, my research is focused on the topic of formal methods for software engineering, namely developing new languages and tools for formal modeling, including validatiom and verificaiton, and for bidirectional model transformation. Recently, I've also started to research the topic of robotic software quality, in particular software developed for the Robot Operating System.