Department of Informatics, School of Engineering, University of Minho & HASLab / INESC TEC
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: / Office: Bldg.7-2.25 / Tel.: +351 253 60 4447

My research interests focus on Interactive Systems Engineering, at the intersection of Formal Methods, Software Engineering, and Human-Computer Interaction. I have a particular interest in automated verification techniques and tools. Among other roles, I am a member of the IFIP TC 13 on Human-Computer Interaction, and of the ACM SIGCHI EICS Steering Committee.

I am currently on sabbatical leave visiting the Interactive Critical Systems group at IRIT, Université de Toulouse.