Doutorado em Ciência de Computadores pela Universidade de Manchester, Reino Unido (1983). Desde 2012, Professor Catedrático do departamento de Ciência de Computadores (DCC) da Faculdade de Ciências da Universidade do Porto (FCUP). Foi Vice-reitor da Universidade do Porto com a tutela da Universidade Digital, Qualidade e Melhoria Contínua. Em 2007, fundou e liderou, até 2018, o CRACS, unidade FCT classificada com Muito Bom, passando a unidade integrada do INESC TEC em 2014. Lidera o projeto Authenticus desde 2010.