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 comité tecnico TC 13 on Human-Computer Interaction, da IFIP, e do comité de steering da ACM SIGCHI EICS.

Atualmente em licença sabática como professor visitante no grupo Interactive Critical Systems do IRIT, na Université de Toulouse.