About
I'm currently a post-doctoral researcher at the HASLab unit of INESC TEC at the University of Minho, Portugal.
I've recently completed my joint PhD degree on computer science from the Universities of Minho, Aveiro and Porto, on a "Relational Approach to Bidirectional Transformation" under the supervision of Professor Alcino Cunha.
My research focuses on bridging the gap between formal methods and software engineering through the development of lightweight approaches and techniques, with the goal of improving the overall quality of software products. Current research topics include trustworthy software design frameworks and safety validation of robotic software.