I am a post doctoral researcher at the department of Informatics of the University of Minho and a Researcher at HASLab/INESC TEC. My research interests lie in formal methods, user interaction, application of formal methods to user interaction, as well as in the intersection of Model Driven Development, Software Engineering, and Requirements Engineering.
I hold a PhD. in Informatics from the University of Minho, and have been working on the application of formal methods, model driven methodologies and user interaction since then. I am particularly interested in bringing closer the software engineering (SE) and human computer interaction (HCI) fields, with a focus on automated reasoning techniques and tools.
Recently, I've collaborated in the formal software verification tool IVY, in the European project InteGrid and in the European project UpGrid.