Licenciatura em Engenharia Electrotécnica e de Computadores, pela FEUP, em 1982, com a média final de 15 valores.

Mestrado em Engenharia Electrotécnica e de Computadores, pela FEUP, a 27 de Janeiro de 1987, com a classificação de Muito Bom por unanimidade (título da dissertação: “Sistema de Comando Numérico para Prensas Hidráulicas de Duplo Efeito”).

Doutoramento em Engenharia Electrotécnica e de Computadores, pela FEUP, a 21 de Julho de 1992, aprovado com Distinção e Louvor por unanimidade (título da dissertação: “O Teste de Cartas de Circuito Impresso com BST: Arquitectura de um Controlador Residente e Geração Automática do Programa de Teste”).

Professor Agregado do Departamento de Engenharia Electrotécnica e de Computadores, com aprovação por unanimidade, em provas realizadas a 9 e 10 de Março de 2000 (título da lição de síntese: "Projecto para a Testabilidade e Mais Além").