Full Professor of the University of Minho (1985). Visiting Fellow (University of Oxford). Graduated in Electrical Engineering (Universidade de Lourenço Marques, 1971). Doctor of Philosophy (University of Oxford, 1977). Aggregation (University of Minho, 1983).
Scientific interests: Cryptography, Computational Logic, Formal Methods in Software.
Professional Interests: Consultant to the Portuguese Goverment in the area of Information Security, University Teaching and Research Accreditation.