I am a postdoctoral researcher at HASLab/INESC TEC. I hold a Ph.D in Informatics from the University of Minho, Portugal. During my Ph.D, I focus in the intersection of Model Driven Development, Software Engineering, and Requirements Engineering.

I have been working on the application of model driven techniques and tools to the software development process since then. I am particularly interested in bringing closer the software engineering (SE) and requirements engineering (HCI) fields, with a focus on automated reasoning techniques and tools.