Professor Catedrático da Faculdade de Ciências Exatas e da Engenharia da Universidade da Madeira, da qual foi reitor.
É doutorado em Matemática pela Universidade Técnica de Lisboa e licenciado em Matemática pela Faculdade de Ciências da Universidade de Lisboa. Foi professor no Instituto Superior Técnico. Investiga nas áreas da Lógica e da Computação.

Última atualização: novembro de 2023