ESTUDOS E GRAUS ACADÉMICOS

 

·        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.