PATRICIA DUARTE DE LIMA MACHADO

Graduate in Bacharelado em Ciência da Computação from Universidade Federal da Paraíba (1992), Master in Computer Science from Universidade Federal de Pernambuco (1994) and Ph.D. in Computer Science from University of Edinburgh (2000). Currently, she is a Full Professor at Universidade Federal de Campina Grande. Has experience in Computer Science, focusing on Software Engineering, acting on the following subjects: formal testing, functional testing, model-based testing, algebraic specifications, and mobile applications.

Possui Bacharelado em Ciência da Computação pela Universidade Federal da Paraíba (1992), Mestrado em Ciências da Computação pela Universidade Federal de Pernambuco (1994) e o título de PhD in Computer Science - University of Edinburgh (2000). Atualmente é Professora Titular da Universidade Federal de Campina Grande. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: Teste Formal, Teste Funcional de Componentes, Teste Baseado em Modelos, Especificações Algébricas, Aplicações com Mobilidade.