Short Biography
Ana Paiva (publishes as Ana C. R. Paiva). Ana Paiva is Assistant Professor at the Informatics Engineering Department of the Faculty of Engineering of University of Porto (FEUP) where she works since 1999. She teaches subjects like Software Testing, Formal Methods and Software Engineering, among others. She belongs to the group on Software Engineering (www.fe.up.pt/~softeng) which gathers researchers and post graduate students with common interests in software engineering. She has a PhD in Electrical and Computer Engineering from FEUP with a thesis titled "Automated Specification Based Testing of Graphical User Interfaces". Her expertise is on the implementation and automation of the model based testing process. She has been developing research work in collaboration with Foundation of Software Engineering research group within Microsoft Research where she had the opportunity to extend Microsoft's model-based testing tool, Spec Explorer, for GUI testing. She is a member of the PSTQB board, member of the Council of the Department of Informatics Engineering, and member of the Council of Representatives of FEUP.
Contact Info
Ana Paiva
Department of Informatics Engineering
Faculty of Engineering
University of Porto
Rua Dr. Roberto Frias, s/n
4200-465 Porto, Portugal
office: Gab. I126
phone: +351 22 508 1523
Research lab:I122
phone:+351 22 508 1613
fax: +351 22 557 4103
e-mail: apaiva @ fe . up . pt
