Henrique Yuji Rossetti Inonhe
Tem experiência na área de Artes, com ênfase em Música, interesse na área Lógica, Matemática, Computação, Fundamentos da Matemática.
Informações coletadas do Lattes em 04/02/2026
Acadêmico
Formação acadêmica
Formação complementar
2017 - 2017
Curso de Java e Orientação a Objetos. (Carga horária: 40h). , Caelum, CAELUM, Brasil.
2016 - 2016
Mini Curso de Introdução a Lógica. (Carga horária: 40h). , Universidade Estadual de Campinas, UNICAMP, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Áreas de atuação
Grande área: Lingüística, Letras e Artes / Área: Artes / Subárea: Música.
Participação em eventos
2ndCLE4Science.Formalization of Mathematics Through Proof Assistants. 2017. (Simpósio).
Projetos de pesquisa
-
2017 - 2018
Formalização da Matemática Através de Assistentes de Provas: Um estudo do Estado da Arte, Descrição: Projeto de Iniciação científica realizado através do edital do PIBIC.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Henrique Yuji Rossetti Inonhe - Coordenador / Walter Alexandre Carnielli - Integrante.
Histórico profissional
Experiência profissional
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Henrique Yuji Rossetti Inonhe e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?