área de pesquisa
- Afonso Henrique Corrêa de Sales
- Cinthyan Renata Sachs Camerlengo de Barbosa
- Especificação formal de sistemas de telefonia em estelle: um estudo de caso.
- Formalismos Estruturados de Modelagem para Sistemas Markovianos Complexos
- Indução de Gramáticas Baseado em Exemplos
- José Carlos Rocha Pereira Júnior
- Lehilton Lelis Chaves Pedrosa
- Raquel de Souza Francisco Bravo
- Ricardo Luis de Azevedo da Rocha
- Rodrigo Cesar Evangelista
- Sormany Silva Dantas
- Um ambiente de desenvolvimento baseado em tabelas de decisão adaptativas.