Juan Meleiro
É atualmente estudante de Doutorado em Matemática pelo Instituto de Matemática e Estatística da USP (IME-USP). Sua área de especialização é a Lógica Categorial e temas vizinhos. Possui graduação em Bacharelado em Matemática pelo IME-USP (2019).
Informações coletadas do Lattes em 18/08/2024
Acadêmico
Formação acadêmica
Doutorado em andamento em Doutorado em Matemática
2020 - Atual
Instituto de matemática e Estatística da USP
Orientador: Hugo Luiz Mariano
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Graduação em Bacharelado em Matemática
2016 - 2019
Instituto de matemática e Estatística da USP
Título: Formalizando a Correspondência de Curry-Howard
Orientador: Hugo Luiz Mariano
Formação complementar
2023 - 2023
SPLogIC. , Universidade Estadual de Campinas, UNICAMP, Brasil.
2020 - 2020
O trabalho teatral de Augusto Boal em quatro tempos: 1954, 1960, 1967 e 196. (Carga horária: 12h). , Universidade de São Paulo, USP, Brasil.
2017 - 2017
Escuela de Matemáticas de America Latina y Caribe. , Universidad de Antioquia, UdeA, Colômbia.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, 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: Matemática.
Participação em eventos
Encontro de Lógica USP-UFBA 2024.Um teorema de Birkhoff para multiálgebras. 2024. (Encontro).
Principia. Towards a Translation Theory of Truth. 2023. (Congresso).
Emerging Researchers in Category Theory Virtual Seminar.TDB. 2022. (Seminário).
Encontro Brasileiro de Lógica. Towards Modular Mathematics. 2022. (Congresso).
I Encontro Brasileiro de Teoria das Categorias. 2021. (Encontro).
Applied Category Theory 2020. 2020. (Congresso).
Encontro Brasileiro de Lógica. Formalizing the Curry-Howard Correspondence. 2019. (Congresso).
Simpósio de Matemática para Graduação. 2019. (Simpósio).
Cine Debate ?Auto de Resistência e Pena de Morte no Brasil? (IBCCrim). 2018. (Outra).
International Congress of Mathematicians. 2018. (Congresso).
Produções bibliográficas
-
MELEIRO, JUAN ; SOLOVERA, THIAGO ; ZAIDAN, ANDRÉ . Classification of linear mappings between indefinite inner product spaces. LINEAR ALGEBRA AND ITS APPLICATIONS , v. 531, p. 356-374, 2017.
-
MELEIRO, JUAN . Pragmatic Logic. 2021. (Apresentação de Trabalho/Congresso).
-
MELEIRO, JUAN . Matemática Orientada a Teorias. 2021. (Apresentação de Trabalho/Outra).
-
MELEIRO, J. ; MARIANO, H. L. . Formalizing the Curry-Howard Correspondence. 2019. (Apresentação de Trabalho/Congresso).
Histórico profissional
Experiência profissional
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Juan Meleiro 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?