I am an assistant professor at the Department of Informatics of Universidade do Minho and a researcher at HASLab/INESC TEC. I hold a Ph.D. in Computer Science from The University of York, and I 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.
Current and recent funded research includes: model-based testing of user interfaces; prototyping of ambience intelligence systems using virtual reality simulations; reverse engineering for the analysis and transformation of the user interface layer of software systems; formal modelling and analysis of interactive systems; and model checking of the control logic of industrial machinery.
I am a member of IFIP WG 2.7/13.4 on User Interface Engineering. Among other roles, I was general co-chair for EICS 2012 and tutorials co-chair for INTERACT 2011, and I serve in the steering committee of the EICS series of conferences.