Leonardo Melo Batista

Licenciado em Matemática pela Universidade de Brasília (UnB). Atuou como bolsista no Programa de Educação Tutorial (PET) de Matemática da UnB. No programa, desenvolveu atividades de ensino, pesquisa e extensão, sendo monitor de Cálculo 1 e Álgebra Linear, ministrando mini-cursos e oficinas tanto para professores quanto alunos do Ensino Básico, participando de projetos de extensão junto ao Instituto de Ciências Exatas e pesquisando na área de Lógica, orientado por professoras da universidade. Cobcluiu o curso de Mestrado em Matemática na área de Teoria da Computação no Programa de Pós-Graduação em Matemática da UnB, com a defesa da Dissertação feita em setembro de 2021. Durante a etapa final do curso, escreveu como co-autor um paper em português aceito para publicação no anal do XLI Congresso da Sociedade Brasileira de Computação (CSBC 2021) e um outro escrito em inglês aceito para publicação no anal do 35 Workshop International em Unificação (UNIF 21).

Informações coletadas do Lattes em 17/08/2024

Acadêmico

Formação acadêmica

Mestrado em Matemática

2019 - 2021

Universidade de Brasília, UnB
Título: Desunificação Nominal via Restrições de Ponto Fixo, Ano de Obtenção: 2021
Daniele Nantes-Sobrinho.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Grande área: Ciências Exatas e da Terra

Graduação em Matemática

2015 - 2018

Universidade de Brasília, UnB

Ensino Médio (2º grau)

2012 - 2014

Dinamico Centro Educacional

Formação complementar

2018 - 2018

Uma introdução à integral de Riemann. (Carga horária: 8h). , Universidade de Brasília, UnB, Brasil.

2017 - 2017

Uma introdução à análise funcional. (Carga horária: 15h). , Universidade de Brasília, UnB, Brasil.

Idiomas

Inglês

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

Português

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

Francês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática.

Produções bibliográficas

BATISTA, L. M. ; GAMBOA, J. S. . O Grau Topológico em Dimensão Finita. In: X ENAPETMAT - Encontro Nacional dos PETs Matemática, 2018, Uberlândia. Anais do X Encontro Nacional de PETs Matemática, 2018.
BATISTA, L. M. ; GAMBOA, J. S. . O grau topológico de dimensão finita. 2018. (Apresentação de Trabalho/Seminário).
BATISTA, L. M. ; RODRIGUES, L. M. D. A. . MAT OU MORRA: Uma atividade lúdica envolvendo enigmas matemáticos. 2018. (Apresentação de Trabalho/Conferência ou palestra).
BATISTA, L. M. ; GAMBOA, J. S. . O grau topológico de dimensão finita. 2018. (Apresentação de Trabalho/Conferência ou palestra).
BATISTA, L. M. ; RODRIGUES, L. M. D. A. . Construindo o icosaedro regular. 2017. (Apresentação de Trabalho/Outra).
BATISTA, L. M. ; PEREIRA, D. F. S. ; MOURA JUNIOR, J. T. . Matemática no ensino médio. 2017. (Apresentação de Trabalho/Outra).
BATISTA, L. M. ; RODRIGUES, L. M. D. A. . A matemática e algumas das suas aplicações. 2017. (Apresentação de Trabalho/Outra).
BATISTA, L. M. ; GAMBOA, J. S. . Uma motivação ao estudo da teoria do grau. 2017. (Apresentação de Trabalho/Seminário).
BATISTA, L. M. ; GAMBOA, J. S. . O teorema do ponto fixo para contrações. 2017. (Apresentação de Trabalho/Seminário).

Histórico profissional

Experiência profissional

2016 - 2019

Universidade de Brasília, UnB

Vínculo: Bolsista, Enquadramento Funcional: Petiano - PET Matemática UnB, Carga horária: 20