Homepage

• PhD in Formal Methods, University of Stirling, Scotland, UK, 1994

• Master by research, Faculty of Science and Technology of Universidade Nova de Lisboa, 1991

• BSc (5 years degree) in Computing Science, Universidade Nova de Lisboa, 1987

• Bacharel in Electronics and Telecommunications, Instituto Superior de Engenharia de Lisboa, 1985