Boris Marinho Ramos Silva Araujo
Graduado em Ciência da Computação pela Universidade de Brasília em 2021.
Informações coletadas do Lattes em 06/05/2025
Acadêmico
Formação acadêmica
Graduação em Ciência da Computação
2018 - 2021
Universidade de Brasília, UnB
Título: Prova automática de teoremas para lógicas confluentes
Orientador: Cláudia Nalon
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Participação em eventos
Semana Universitária do Instituto de Ciências Exatas (IE) da UnB - Seminário em Cloud Computing. 2019. (Seminário).
Semana Universitária do Instituto de Ciências Exatas (IE) da UnB - Uma introdução à integral de Lebesgue. 2019. (Outra).
Produções bibliográficas
-
ARAUJO, B. M. R. S. ; NALON, C. . Implementação de Extensões de Lógicas Multi-Modais. In: 27º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 18º DO DF, 2021, Brasília. 27º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 18º DO DF, 2021.
Histórico profissional
Experiência profissional
2020 - 2021
Universidade de Brasília, UnBVínculo: Voluntário, Enquadramento Funcional: Iniciação Científica, Carga horária: 20
Outras informações:
Título: Prova Automática de Teoremas para Lógicas ConfluentesOrientadora: Cláudia Nalon
2019 - 2019
Universidade de Brasília, UnBVínculo: Voluntário, Enquadramento Funcional: Monitor, Carga horária: 2
Outras informações:
Disciplina: Algoritmos e Programação de Computadores
2019 - 2021
Tribunal de Contas da UniãoVínculo: Estagiário, Enquadramento Funcional: Desenvolvedor, Carga horária: 20
Outras informações:
Desenvolvedor de software com a tecnologia Oracle APEX
2023 - Atual
Hashtag TreinamentosVínculo: Autônomo, Enquadramento Funcional: Desenvolvedor de software, Carga horária: 5
2021 - 2023
Hashtag TreinamentosVínculo: MEI, Enquadramento Funcional: Desenvolvedor de software, Carga horária: 40
Outras informações:
Desenvolvedor back-end, utilizando majoritariamente a linguagem Python
2021 - 2021
Hashtag TreinamentosVínculo: MEI - Freelancer, Enquadramento Funcional: Desenvolvedor de software, Carga horária: 10
2023 - Atual
Empresa Municipal de Informática S.A.Vínculo: Celetista, Enquadramento Funcional: Desenvolvedor/DevOps, Carga horária: 40
Outras informações:
Desenvolvimento de softwareGestão de infraestrutura de nuvem
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Boris Marinho Ramos Silva Araujo 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?