I am an Assistant Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab/INESC TEC. My research interests lie in the intersection of Formal Methods, Software Engineering, and Human-Computer Interaction.

I hold a Ph.D. in Computer Science from The University of York, and have been working on the application of formal software engineering techniques and tools to the modelling and analysis of interactive systems for over 15 years. 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.