CV Lattes
ORCID
Google Scholar Citations
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
Bacharel, Mestre e Doutor em Ciência da Computação pela Universidade de São Paulo, enveredou sua pesquisa na área de Inteligência Artificial (Representação de e Raciocínio sobre Conhecimento), em tópicos envolvendo Lógica e Revisão de Crenças. Atualmente, trabalha como Professor no Insper e no Inteli, nos cursos de Engenharia e de Ciência da Computação. Está envolvido em disciplinas de Lógica de Programação com Python, Estruturas de Dados, Grafos, Projeto de Algoritmos, Teoria da Computação, Lógica Formal, Compiladores e Matemática Discreta. Trabalha com metodologias ativas de aprendizagem, tais como PBL e Sala de Aula Invertida. Ainda no âmbito acadêmico, possui experiência internacional de Mestrado Sanduíche em uma universidade de ponta na Suécia e experiência também em atividades acadêmicas desde a Graduação, com Iniciação Científica e monitoria de disciplinas. Em sua experiência profissional não acadêmica, atuou por quatro anos como Programador Java em uma empresa de software que desenvolve soluções para a área da saúde. O trabalho era regido pela metodologia ágil Scrum e tinha aplicação web. (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) |
As lógicas de descrição são usadas como base para a linguagem OWL, padrão para representação de ontologias na web. No entanto, conhecimento não é estático e, com tal dinamismo, o estudo derevisão de crenças e sua correta e adequada aplicação tornam-se muito importantes. Neste trabalho, pretendemos desenvolver uma ferramenta para revisão de ontologias como um plug-in para o Protégé, o edit…
| 1 | Bolsas no país concluídas |
| Processos vinculados | |