Formação acadêmica/profissional (Onde obteve os títulos, atuação profissional, etc.)
Licenciatura en Informática, Universidad de Lujan, Argentina, 1989. Mestre em Ciência da Computação, Centro de Informática (Conceito 7 CAPES), Universidade Federal de Pernambuco. 1993 Doutor em Ciência da Computação, Centro de Informática (Conceito 7 CAPES), Universidade Federal de Pernambuco. 2015
Áreas de Interesse
(áreas de interesse de ensino e pesquisa)
Linguagens de Programação Engenharia de Software Métodos Formais
Departamento de Computação (DCOMP-CCET) Cidade Univ. Prof. José Aloísio de Campos Av. Marechal Rondon, s/n, Jd. Rosa Elze São Cristóvão/SE CEP 49100-000