·
Agregação,
pela Universidade do Minho, em Fevereiro de 1998.
·
Doctor
of Philosophy (Ph.D.), pelo departamento de
Ciências de Computação da Universidade de Heriot-Watt, Edimburgo, Escócia,
Reino Unido, em Novembro de 1983.
Temas: Teoria
da Computação, Teoria do Conhecimento, Lógica Matemática.
Tese: The Application of Logic Programmimg to Data
Bases.
·
Master
of Science (M.Sc.) em Software Development and Analysis pelo departamento de Ciências de
Computação da Universidade de Heriot-Watt, Edimburgo, Escócia, Reino Unido, em
Setembro de 1981.
Temas:
Lógica Matemática, Teoria da Computação, Bases de Dados.
Tese: A
Query-By-Example Interface to PROLOG.
·
Licenciatura em Engenharia Química, pelo
departamento de Engenharia Química, Universidade de Coimbra, Coimbra, Portugal,
1976.
Temas:
Química, Física, Matemática.