Home

Engineering Faculty of Porto University

Ana C. R. Paiva

Assistant Professor at FEUP (Engineering Faculty of Porto University), since February 2007 where she teaches since 1999.

Member of the Software Engineering Group at FEUP.

Ana Paiva holds

· a Ph.D dissertation on Electrical and Computers Engineering from Engineering Faculty of Porto University, under the title “Automated Specification-based Testing of Graphical User Interfaces” (February, 2007).

· a M.Sc dissertation on Electrical and Computers Engineering from Engineering Faculty of Porto University, under the title “3D Information Acquisition based on a Structured Light Technique” (1997).

· a degree (five years) in Systems and Informatics Engineering from Minho University of Portugal (1995).

Research grants:

AMBERiTest project

Main Interests:

Software Testing, Verification & Validation.

Model-based testing of GUIs

Lightweight formal methods, integration of formal and semi-formal methods.

Software requirements.

Open-source Project:

Overture - Open-source Tools for Formal Modelling