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ção. Entre outros papeis, 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.