Registered user since Sat 18 Sep 2021
I am an Associate Professor at the Department of Informatics of the University of Minho. I mainly work on the application of formal Software Engineering techniques and tools to the modelling and analysis of Interactive Systems.
I currently chair IFIP WG 2.7/13.4 on User Interface Engineering, and the Steering Committee of the ACM SIGCHI Engineering Interactive Computing Systems (EICS) conference. I am a member of the editorial board of ACM Proceedings on HCI.