Bruno Azevedo Vilela

Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos e Computabilidade.

Informações coletadas do Lattes em 16/10/2023

Acadêmico

Formação acadêmica

Mestrado interrompido em 2014 em Informática

2012 - interrompida

Universidade de Brasília, UnB
Orientador: Maria Emília Machado Telles Walter;Ano de interrupção: 2014

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

2007 - Atual

Universidade de Brasília, UnB
Título: Definição da Complexidade de Algoritmos de Validade para Lógica Modal
Orientador: Cláudia Nalon

Idiomas

Inglês

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

Espanhol

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

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: Análise de Algoritmos e Complexidade de Computação.

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.

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: Linguagem Formais e Autômatos.

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

Participação em eventos

V Conferência Internacional de Integração de Sistemas. 2008. (Congresso).

Projetos de pesquisa

2009 - 2010

Processamento digital de Imagens, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Bruno Azevedo Vilela - Integrante / Marcelo Ladeira - Coordenador.
2008 - 2009

Construção de Tutoriais Inteligentes, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Bruno Azevedo Vilela - Integrante / Homero Luiz Piccolo - Coordenador.

Histórico profissional

Experiência profissional

2010 - 2011

Associação de Apoio à Pesquisa - UnB

Vínculo: Bolsista, Enquadramento Funcional: Bolsista

2008 - 2009

Alivepro Tecnologia da Informação

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 20

Outras informações:
Desenvolvimento de uma ferramenta de modelagem e simulação de processos usando QT/C++

2008 - 2009

Universidade de Brasília, UnB

Vínculo: Colaborador, Enquadramento Funcional: Participante