Jorge C. A. de Figueiredo

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:

• Algorithms. UFCG. Term: 2007.1.
• Graph Theory. UFCG. Term: 2007.1
• Petri Nets. UFCG. Term: 2007.1.

Graduate Level:

• System Modeling and Validation by Means of Petri Nets. UFCG. Term: 2007.1.

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