CV Lattes
Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui graduação em Ciência da Computação pela Universidade Estadual do Ceará (2008), mestrado em Ciências da Computação pela Universidade de São Paulo (2010) e doutorado em Ciência da Computação pela Universidade de São Paulo (2016). Atualmente é professor adjunto da Universidade Federal do Ceará, Campus Quixadá. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Inteligência Artificial, atuando principalmente nos seguintes temas: lógica de árvore computacional, revisão de crenças e verificação de modelos. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Verificação de modelos é uma das mais eficientes técnicas de verificação automática de sistemas. No entanto, apesar de poder lidar com verificações complexas, as ferramentas de verificação de modelos usualmente não fornecem informação alguma sobre como reparar inconsistências nestes modelos. No mestrado, mostramos que abordagens desenvolvidas para a atualização de modelos CTL inconsistent…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |