Jorge C. A. de Figueiredo

Endereço:

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

Áreas de Pesquisa:

  Redes de Petri
  Métodos Formais
  Engenharia de Software
  Evolução de Software
  Verificação de Programas

Projetos de Pesquisa:

  DVERITAS  (Verificação de Modelos RPOO Distribuída)
  Design Checker  (Verificação e Rastreamento da Evolução de Desenhos de Software)

Atividades de Ensino:

Graduação:

• Análise e Técnicas de Algoritmos: Curso de Graduação em Ciência da Computação, UFCG. Período 2007.1.
• Teoria dos Grafos: Curso de Graduação em Ciência da Computação, UFCG. Período 2007.1
• Redes de Petri: Curso de Graduação em Ciência da Computação, UFCG. Período 2007.1.

Pós-Graduação:

• Modelagem e Validação de Sistemas Usando Redes de Petri: Mestrado em Informática, UFCG. Período 2007.1.

Orientação de Alunos:

Alunos de Doutorado (atuais)

• Cássio Leonardo Rodrigues
• Paulo Eduardo e Silva Barbosa

Alunos de Mestrado (atuais)

• Amanda Saraiva Bezerra
• Lile Palma Hattori
• Renata de França Pontes