Fillipe Manoel Xavier Resina

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.

Informações coletadas do Lattes em 17/11/2025

Acadêmico

Formação acadêmica

Doutorado em Ciências da Computação

2017 - 2021

Universidade de São Paulo
Título: Studies On Non-Prioritized Multiple Belief Revision
, Ano de obtenção: 2021. Renata Wassermann. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Belief Revision; Multiple Revision; Selective Revision; Choice Revision; Belief Base; Non-prioritized Revision. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Representação de Conhecimento. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Raciocínio sobre Conhecimento.

Mestrado em Ciências da Computação

2011 - 2014

Universidade de São Paulo
Título: Revisão de Crenças em Lógicas de Descrição - Um Plug-In para o Protégé
, Ano de Obtenção: 2014.Renata Wassermann.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Revisão de Crenças; Lógicas de Descrição; Protégé; Ontologia.Grande área: Ciências Exatas e da Terra

Graduação em BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO

2007 - 2011

Universidade de São Paulo
Título: Revisão de Crenças em Lógicas de Descrição e o Plug-In para o Protégé
Orientador: Renata Wassermann
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Razoavelmente.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Inteligência Artificial.

Participação em eventos

17th International Conference on Principles of Knowledge Representation and Reasoning {KR2020}. Choosing What to Believe - New Results in Selective Revision. 2020. (Congresso).

18th International Workshop on Non-Monotonic Reasoning.A Survey on Multiple Revision. 2020. (Seminário).

Global Conference In Artificial Intelligence + International Joint Conference on Rules and Reasoning. Multiple Revision in Description Logics. 2019. (Congresso).

Encontro Brasileiro de Lógica.First steps towards multiple revision in description logics. 2017. (Encontro).

2014 Brazilian Conference on Intelligent Systems (BRACIS). Algorithms for Multiple Contraction and an application to OWL Ontologies. 2014. (Congresso).

International Workshop on Logical and Semantic Frameworks with Applications (LSFA). 2013. (Oficina).

Ontobras.Merging Ontologies via Kernel Contraction. 2013. (Seminário).

Simpósio Internacional de Iniciação Científica.Revisão de Crenças em Lógicas de Descrição e o Plug-In para o Protégé. 2011. (Simpósio).

Orientou

Jordan Andrade Custódio da Silva

Scalable Agent Creation Platform; Início: 2025; Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Instituto de Tecnologia e Liderança; (Orientador);

Produções bibliográficas

RESINA, F. M. X. ; WASSERMANN, R. . Multiple Selective Revision. In: International Workshop on Non-Monotonic Reasoning (NMR), 2021, Hanoii. Proceedings of the International Workshop on Non-Monotonic Reasoning, 2021.
RESINA, FILLIPE ; GARAPA, MARCO ; WASSERMANN, RENATA ; FERMÉ, EDUARDO ; REIS, MAURÍCIO . Choosing What to Believe - New Results in Selective Revision. In: 17th International Conference on Principles of Knowledge Representation and Reasoning {KR2020}, 2020, Rhodes. Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. California: International Joint Conferences on Artificial Intelligence Organization, 2020. p. 687.
RESINA, FILLIPE ; WASSERMANN, R. . A Survey on Multiple Revision. In: 18th International Workshop on Non-Monotonic Reasoning, 2020, Rhodes. Proceedings of NMR 2020, 2020.
RESINA, FILLIPE . Multiple Revision in Description Logics. In: RuleML+RR 2019 Doctoral Consortium and Rule Challenge, 2019, Bolzano. Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, 2019. v. 2438.
RESINA, FILLIPE ; RIBEIRO, MARCIO M. ; WASSERMANN, RENATA . Algorithms for Multiple Contraction and an Application to OWL Ontologies. In: 2014 Brazilian Conference on Intelligent Systems (BRACIS), 2014, Sao Paulo. 2014 Brazilian Conference on Intelligent Systems, 2014. p. 366.
COBE, R. ; RESINA, F. M. X. ; WASSERMANN, R. . Merging Ontologies via Kernel Contraction. In: Ontobras, 2013, Belo Horizonte. Proceedings of the 6th Seminar on Ontology Research in Brazil, 2013. v. 1041. p. 94-105.

Outras produções

RESINA, F. M. X. ; SANTOS, A. C. ; ARAUJO, R. W. ; GOYA, R. R. ; GRAMANI, M. C. N. ; VENANCIO JUNIOR, S. J. ; KLOECKNER, N. . Construção de LBL - Computação - Módulo 12: Tendência e Atualizações. 2024. (Learning Backlog - Graduação em Ciência da Computação).

RESINA, F. M. X. ; SANTOS, A. C. ; GRAMANI, M. C. N. ; ARAUJO, R. W. ; GOYA, R. R. ; SASAKI, T. M. ; TEBERGA, P. ; SILVA, F. G. N. ; HAYASHI, V. T. . Construção de LBL - Computação - Módulo 11: Sistema de processamento de linguagem natural com IA generativa. 2024. (Learning Backlog - Graduação em Ciência da Computação).

RESINA, F. M. X. ; SANTOS, A. C. ; GRAMANI, M. C. N. ; SILVA, F. G. N. ; TEBERGA, P. ; ARAUJO, R. W. ; GOYA, R. R. ; SASAKI, T. M. ; VENANCIO JUNIOR, S. J. . Construção de LBL - Computação - Módulo 06: Soluções de Otimização Combinatória. 2023. (Learning Backlog - Graduação em Ciência da Computação).

RESINA, F. M. X. ; SANTOS, A. C. ; SILVA, F. G. N. ; GRAMANI, M. C. N. ; TEBERGA, P. ; ARAUJO, R. W. ; GOYA, R. R. ; SASAKI, T. M. . Construção de LBL - Computação - Módulo 05: Solução de alto desempenho usando grafos. 2022. (Learning Backlog - Graduação em Ciência da Computação).

Projetos de desenvolvimento

2010 - 2011

Revisão de Crenças em Lógicas de Descrição e o Plug-In para o Protégé, Descrição: Os objetivos da Iniciação foram estudar o uso de revisão de crenças em lógicas de descrição e aplicá-lo no desenvolvimento de um plug-in para o editor de ontologias Protégé. O projeto é orientado pela Profª Dra. Renata Wassermann.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Fillipe Manoel Xavier Resina - Integrante / Renata Wassermann - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2011

Revisão de Crenças em Lógicas de Descrição e o Plug-In para o Protégé, Descrição: Os objetivos da Iniciação foram estudar o uso de revisão de crenças em lógicas de descrição e aplicá-lo no desenvolvimento de um plug-in para o editor de ontologias Protégé. O projeto é orientado pela Profª Dra. Renata Wassermann.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Fillipe Manoel Xavier Resina - Integrante / Renata Wassermann - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2011

Revisão de Crenças em Lógicas de Descrição e o Plug-In para o Protégé, Descrição: Os objetivos da Iniciação foram estudar o uso de revisão de crenças em lógicas de descrição e aplicá-lo no desenvolvimento de um plug-in para o editor de ontologias Protégé. O projeto é orientado pela Profª Dra. Renata Wassermann.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Fillipe Manoel Xavier Resina - Integrante / Renata Wassermann - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2010 - 2011

Revisão de Crenças em Lógicas de Descrição e o Plug-In para o Protégé, Descrição: Os objetivos da Iniciação foram estudar o uso de revisão de crenças em lógicas de descrição e aplicá-lo no desenvolvimento de um plug-in para o editor de ontologias Protégé. O projeto é orientado pela Profª Dra. Renata Wassermann.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Fillipe Manoel Xavier Resina - Integrante / Renata Wassermann - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

Prêmios

2021

Best Student Original Paper Award, International Workshop on Non-Monotonic Reasoning (NMR 2021).

Histórico profissional

Experiência profissional

2023 - Atual

Insper Instituto de Ensino e Pesquisa

Vínculo: Celetista, Enquadramento Funcional: Professor titular, Carga horária: 15

Outras informações:
Atuante nos cursos de Engenharia e também Ciência da Computação em disciplinas como Lógica de Programação (com Python), Compiladores, Autômatos, Teoria da Computação, Lógica e Matemática Discreta.

2021 - 2023

Insper Instituto de Ensino e Pesquisa

Vínculo: Celetista, Enquadramento Funcional: Professor Auxiliar, Carga horária: 12

Outras informações:
Principais atividades: acompanhamento dos alunos durante as aulas (atividades práticas), plantão de dúvidas e correção de trabalhos práticos de programação (EPs). Curso: Engenharia da Computação. Disciplinas: Design de Software e Ciência dos Dados.

Atividades

02/2021
Ensino, Engenharia de Computação/Mecânica/Mecatrônica, Nível: GraduaçãoDisciplinas ministradas, Ciência dos Dados, Design de Software, Lógica para Computação, Lógica e Matemática Discreta

2022 - Atual

Instituto de Tecnologia e Liderança

Vínculo: Celetista, Enquadramento Funcional: Professor Doutor, Carga horária: 20

Outras informações:
Professor do núcleo comum e também do curso de Ciência da Computação nos seguintes temas: Grafos, Estrutura de Dados, Técnicas e Projeto de Algoritmos, Teoria da Computação, Lógica de Programação e Modelos Preditivos.

Atividades

02/2024
Ensino, Ciclo Básico (1º ano), Nível: GraduaçãoDisciplinas ministradas, Games, Sistemas Web, Modelos Preditivos, Internet of Things
02/2023
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Grafos, Estruturas de Dados, Técnicas e Projeto de Algortitmos, Teoria da Computação e Complexidade
11/2022
Conselhos, Comissões e Consultoria, Desenvolvimento de Currículo.Cargo ou função, Planejador e Revisor de LBL (Learning Backlog).

2022 - 2022

Touch Health

Vínculo: Celetista, Enquadramento Funcional: Programador Java, Carga horária: 30

Outras informações:
Programador Java para aplicação Web. Atuação majoritariamente front-end (React), mas com algumas atuações back-end.Principais tarefas: análise e desenvolvimento de novas features e resolução de bugs. Uso de metodologia ágil Scrum.

2014 - 2017

Touch Health

Vínculo: Celetista, Enquadramento Funcional: Programador Java, Carga horária: 40

Outras informações:
Principais atividades: análise e desenvolvimento de novas features do sistema e correção de bugs. As aplicações eram web, desenvolvidas em Java e banco de dados Oracle. Metodologia ágil Scrum. Também realizei treinamentos de novos estagiários.

Atividades

01/2014 - 03/2017
Serviços técnicos especializados , Equipe de Desenvolvimento.Serviço realizado, Análise e desenvolvimento de novas features do sistema e correção de bugs. Aplicações web desenvolvidas em Java e banco de dados Oracle.

2016 - 2016

Universidade Ibirapuera

Vínculo: Celetista, Enquadramento Funcional: Professor Mestre, Carga horária: 6

Atividades

08/2016 - 12/2016
Ensino, Ciência da Computação, Nível: GraduaçãoDisciplinas ministradas, Lógica de Programação, Inteligência Artificial

2022 - 2022

domicilio

Vínculo: Autônomo, Enquadramento Funcional: Professor Particular de Matemática, Carga horária: 1

Outras informações:
Aulas de reforço e solução de dúvidas em relação aos conteúdos de Matemática do Ensino Fundamental.

2018 - 2018

Universidade de São Paulo

Vínculo: Colaborador, Enquadramento Funcional: Monitor de Disciplina, Carga horária: 6

Outras informações:
Disciplina: Inteligência Artificial. Atividades desenvolvidas: plantão de dúvidas semanal, correção de trabalhos (listas de exercícios e EPs - exercícios-programa) e planejamento de algumas aulas e trabalhos junto ao professor responsável pela disciplina.

2011 - 2011

Universidade de São Paulo

Vínculo: Colaborador, Enquadramento Funcional: Monitor de Disciplina, Carga horária: 6

Outras informações:
Disciplina: Introdução à Programação. Atividades desenvolvidas: plantão de dúvidas semanal e correção de trabalhos práticos de programação (EPs).

2010 - 2011

Universidade de São Paulo

Vínculo: Bolsista de Inic. Científica, Enquadramento Funcional: Pesquisador, Carga horária: 20

Outras informações:
Área de pesquisa: Inteligência Artificial (Representação de e Raciocínio sobre Conhecimento). Projeto: estudar e implementar algoritmos de Revisão de Crenças (operações de contração e revisão) como um plug-in para o software Protégé (editor de ontologias).