Doutorado em Engenharia Elétrica (Conceito CAPES 6).
Universidade de São Paulo, USP, Brasil.
Título: Aspectos de Projeto e Implementação de Linguagens para Codificação de Programas Adaptativos, Ano de obtenção: 2009.
Orientador: João José Neto.
Palavras-chave: Tecnologias Adaptativas; Autômatos Adaptativos; Projeto de Linguagens de Programação; Código Automodificável.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Mestrado em Ciência da Computação (Conceito CAPES 4).
Universidade Federal de Mato Grosso do Sul, UFMS, Brasil.
Título: Implementação e Avaliação de Algoritmos BSP/CGM para o Fecho Transitivo e Problemas Relacionados,Ano de Obtenção: 2003.
Orientador: Edson Norberto Cáceres.
Palavras-chave: Algoritmos Paralelos; Modelos Realísticos; Fecho Transitivo; Problemas em Grafos.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação.
Setores de atividade: Desenvolvimento de Programas (Software); Atividades de Banco de Dados; Outras Atividades de Prestação de Serviços em Informática.

Graduação em Ciência da Computação.
Universidade Federal de Mato Grosso do Sul, UFMS, Brasil.
Título: Implementação de uma Ferramenta para Pesquisa em Texto.
Orientador: Marcelo Henriques de Carvalho.