Departamento de Informática, Escola de Engenharia, Universidade do Minho & HASLab / INESC TEC
Campus de Gualtar, 4710-057 Braga, Portugal.
E-mail: / Gabinete: Edf.7-2.25 / Tel.: +351 253 60 4447

Os meus interesses de investigação centram-se na Engenharia de Sistemas Interactivos, na intersecção dos Métodos Formais, da Engenharia de Software e da Interacção Humano-Computador. Tenho especial interesse em técnicas e ferramentas de verifica&ccdeil;ão. Sou membro do grupo de trabalho IFIP WG 2.7/13.4 on User Interface Engineering e do comité de steering da ACM SIGCHI EICS, a que actualmente presido. Faço parte do conselho editorial da revista Proceedings of the ACM on Human-Computer Interaction.