Abílio Esteves Calegário de Oliveira

Bacharel em Ciência da Computação pela Universidade de Brasília (DF), com período sanduíche no campus de Davis da Universidade da California fomentado pela CAPES (programa Ciência sem Fronteiras). Atualmente possui interesse na área de Engenharia de Software, Softwares Educacionais e Inteligência Artificial.

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

Acadêmico

Formação acadêmica

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

2010 - 2015

Universidade de Brasília, UnB
Título: UnB-Dali: Biblioteca para Transformação Entre Modelos em Análise de Dependabilidade
Orientador: Genaína Nunes Rodrigues
com Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Idiomas

Inglês

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

Espanhol

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

Áreas de atuação

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

Produções bibliográficas

CASALNUOVO, CASEY ; DEVANBU, PREM ; OLIVEIRA, ABILIO ; FILKOV, VLADIMIR ; RAY, BAISHAKHI . Assert Use in GitHub Projects. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), 2015, Florence. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015. p. 755.

Projetos de pesquisa

2012 - 2013

Desenvolvimento Formal de Programas de Computadores e Aplicações, Descrição: Análise e estudo das propriedades do LAMBDA-EX (um cálculo lambda) e formalização das mesmas por meio do uso do assistente de provas COQ. Os resultados foram compartilhados no 19º Congresso de Iniciação Científica da Universidade de Brasília.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Abílio Esteves Calegário de Oliveira - Integrante / Flávio Leonardo Cavalcanti de Moura - Coordenador / Laís Mendes Gonçalves - Integrante.

Prêmios

2012

iBT TOEFL Certificate (Score:88), ETS.

Histórico profissional

Endereço profissional

IBM BRASIL IND.MAQ. E SERVICOS LTDA. , Centro Empresarial Varig, Asa Norte, 70714900 - Brasília, DF - Brasil, Telefone: (61) 21062912

Experiência profissional

2015 - 2015

Scytl Brazil

Vínculo: , Enquadramento Funcional: Analista de Desenvolvimento de Sistemas, Carga horária: 30

2014 - 2015

Scytl Brazil

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

2014 - 2014

University of California, Davis

Vínculo: Voluntary, Enquadramento Funcional: Undergraduate Research Assistant, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Empirical Software Engineering

2012 - 2013

ISI - Informações e Soluções Inovadoras LTDA

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

Atividades

08/2012 - 08/2013
Estágios , Produção e Desenvolvimento, .,Estágio realizado, Apoio na redação de artefatos de analise de sistema, apoio na modelagem de banco de dados, programação de aplicativos para internet, programação de aplicativos para celular..

2010 - 2015

Universidade de Brasília, UnB

Vínculo: Estudante de Graduação, Enquadramento Funcional: Estudante

Atividades

03/2012 - 10/2012
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Monitoria em Computação Básica
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Monitoria em Computação Básica
10/2010 - 02/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Monitoria em Lógica Computacional 1

2015 - Atual

BSI Tecnologia

Vínculo: , Enquadramento Funcional: Analista Pleno, Carga horária: 40

2016 - 2018

Lacuna Software

Vínculo: Celetista, Enquadramento Funcional: Analista de Sistemas Sênior, Carga horária: 40

2018 - Atual

IBM BRASIL IND.MAQ. E SERVICOS LTDA

Vínculo: Celetista, Enquadramento Funcional: Arquiteto de Aplicações, Carga horária: 44