

Jorge C. A. de Figueiredo
Associate Professor,
Departamento de Sistemas e Computação,
Universidade Federal de Campina Grande, Brasil
Address:
- Departamento de
Sistemas e Computação
- Universidade Federal de Campina Grande
- Av. Aprígio Veloso, 882 - Caixa Postal 10.106
- 58.109-970 Campina Grande, PB - Brasil
- Fone: +55 83 310 1120
- Fax: +55 83 310 1124
- E-mail: abrantes@dsc.ufcg.edu.br
Research Areas:
Petri Nets
Formal Methods
Software Engineering
Software Evolution
Program Verification
Research Projects:
DVERITAS
(RPOO Distributed Model Checking)
Design Checker
(Verification and Tracking of Software Design Evolution)
Teaching:
Undergraduate Level:
Graduate Level:
Students:
Current PhD Students
- Cássio Leonardo Rodrigues
- Paulo Eduardo e Silva Barbosa
Current Master Students
- Amanda Saraiva Bezerra
- Lile Palma Hattori
- Renata de França Pontes
last update:
17/05/2007