Lucas de Moura Amaral

Bacharel em Ciência da Computação pela Universidade de Brasília. Mestrado em andamento em Informática, também pela Universidade de Brasília. Possui experiência em formalizações em assistentes de prova e cálculus de substituições explícitas. Atualmente está trabalhando com lógica modal, raciocínio automatizado e métodos de conexões de lógicas, com foco em E-conexões.

Informações coletadas do Lattes em 14/07/2025

Acadêmico

Formação acadêmica

Mestrado em andamento em Informática

2017 - Atual

Universidade de Brasília, UnB
Orientador:Cláudia Nalon.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Graduação em Ciência da Computação

2011 - 2016

Universidade de Brasília, UnB
Título: Em direção à formalização das propriedades de normalização do sistema lambda-ex
Orientador: Flávio Leonardo Cavalcanti de Moura

Ensino Médio (2º grau)

2008 - 2010

Leonardo da Vinci

Formação complementar

2005 - 2009

Inglês. (Carga horária: 360h). , Cultura Inglesa, CLT, Brasil.

Idiomas

Inglês

Compreende Razoavelmente, 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: Ciência da Computaçã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: Computabilidade e Modelos de Computação.

Projetos de pesquisa

2017 - Atual

Desenvolvimento de cálculo para combinações de lógicas, Descrição: Este projeto tem como objetivo o desenvolvimento e implementação de um cálculo para combinações de lógicas, baseada no método de E-conexões. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Lucas de Moura Amaral - Coordenador / Cláudia Nalon - Integrante.
2015 - 2016

Formalização das propriedades de normalização do sistema lambda-ex, Descrição: O projeto tem como objetivo formalizar propriedades de normalização de uma extensão do cálculo lambda com substituições explícitas, utilizando o assistente de provas Coq.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Lucas de Moura Amaral - Coordenador / Flávio Leonardo Cavalcanti de Moura - Integrante.

Histórico profissional

Experiência profissional

2015 - Atual

Universidade de Brasília, UnB

Vínculo: , Enquadramento Funcional:

2013 - 2014

Explora Tecnologia

Vínculo: Estagiário, Enquadramento Funcional: Desenvolvedor, Carga horária: 25