Kylly Araújo de Oliveira

Possui graduação em Bacharelado Em Ciências da Computação pela Universidade Federal de Campina Grande(2003) e especialização em Desenvolvimento de Aplicações para Internet pela Universidade Federal do Pará(2010). Atualmente é Analista de Sistemas do Serviço Federal de Processamento de Dados. Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação.

Informações coletadas do Lattes em 31/10/2022

Acadêmico

Formação acadêmica

Especialização em Desenvolvimento de Aplicações para Internet

2009 - 2010

Universidade Federal do Pará
Orientador: Armando Hage

Graduação em Bacharelado Em Ciências da Computação

1999 - 2003

Universidade Federal de Campina Grande
Orientador: Herman Martins Gomes
Bolsista do(a): Agência Nacional do Petróleo.

Formação complementar

2008 - 2008

SCJP - Sun Certified Java Programmer. , Sun Microsystems.

2001 - 2003

Extensão universitária em Ênfase Em Petróleo e Gás. (Carga horária: 360h). , Agência Nacional do Petróleo.

2002 - 2002

Fundamentos de Administração de Sistemas Linux. (Carga horária: 30h). , Rede Conectiva Linux.

2002 - 2002

Administração de Sistemas Linux. (Carga horária: 30h). , Rede Conectiva Linux.

2002 - 2002

Administração de Redes Linux. (Carga horária: 30h). , Rede Conectiva Linux.

2001 - 2001

Mini Curso de Realidade Virtual (Visualização 3D). (Carga horária: 6h). , Universidade Federal do Rio Grande do Norte.

2001 - 2001

Mini curso de programação para a Internet. (Carga horária: 8h). , Universidade Federal de Campina Grande.

2001 - 2001

Reservatórios de Petróleo / Gás e Meio Ambiente. (Carga horária: 32h). , Programa de Recursos Humanos 25.

2000 - 2000

Cursos de Alarmes Eletrônicos. (Carga horária: 16h). , Isata Informática.

2000 - 2000

Curso de Montagem e Manutenção de Computadores. (Carga horária: 40h). , Isata Informática.

2000 - 2000

Curso de Delphi 4 0. (Carga horária: 30h). , Universidade Federal de Campina Grande.

Idiomas

Inglês

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Redes de Computadores.

Participação em eventos

III Simpósio Brasileiro de Componentes, Arquiteturas e Reutilização de Software. 2009. (Simpósio).

2º Congresso Brasileiro de P & D em Petróleo & Gás. 2º Congresso Brasileiro de P & D em Petróleo & Gás. 2003. (Congresso).

17 Congresso Mundial de Petróleo. 17th World Petroleum Congress. 2002. (Congresso).

X ENIC.X Encontro de Iniciação Científica da UFPB. 2002. (Encontro).

1º Congresso Brasileiro de P & D em Petróleo & Gás. 1º Congresso Brasileiro de P & D em Petróleo & Gás. 2001. (Congresso).

IX ENIC.IX Encontro de Iniciação Científica da UFPB. 2001. (Encontro).

Produções bibliográficas

OLIVEIRA, K. A. ; GOMES, H. M. . Neuropetro: Tutorial Web Sobre um Método para o Reconhecimento Automático de Litofácies . Revista do CCEI, Bagé-RS, , v. 7, p. 73 - 80, 01 mar. 2003.
OLIVEIRA, K. A. ; MACHADO, P. D. L. ; ANDRADE, W. L. . CASLTEST - Test Case, Test Oracle and Test Data Generation from CASL Specifications. In: XVII SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE - SESSÃO DE FERRAMENTAS, 2003, Manaus, 2003.
MIRANDA, R. A. V. ; OLIVEIRA, K. A. ; BAPTISTA, C. S. ; BESERRA, G. N. R. ; GONÇALVES, V. H. . IGIS - Framework para Publicação de Sistemas de Informações Geográficas na Internet. In: iGIS BRASIL 2003 - 9º SHOW DE GEOTECNOLOGIAS - 3A MOSTRA DO TALENTO CIENTÍFICO, 2003, São Paulo, 2003.
OLIVEIRA, K. A. ; CUNHA, E. S. ; GOMES, H. M. . Implementação de um método baseado em Redes Neurais para descoberta de conhecimento em base de dados de poços de petróleo e gás. In: 2 CONGRESSO BRASILEIRO DE P&D EM PETRÓLEO E GÁS, 2003, Rio de Janeiro, 2003.
CUNHA, E. S. ; OLIVEIRA, K. A. ; GOMES, H. M. . Investigação do Treinamento de uma Rede Neural para o Reconhecimento de Litofácies Combinando Dados de Testemunhos e Perfis de Poços de Petróleo. In: 2 CONGRESSO BRASILEIRO DE P&D EM PETRÓLEO E GÁS, 2003, Rio de Janeiro, 2003.
MACHADO, P. D. L. ; PINTO, A. L. S. ; OLIVEIRA, K. A. . Automating Formal Testing from CASL Specifications. In: IV WORKSHOP ON FORMAL METHODS - SBES'2001, 2001, Rio de Janeiro. Proceeding of IV WMF - Workshop on Formal Methods, 2001.
OLIVEIRA, K. A. ; MACHADO, P. D. L. ; PINTO, A. L. S. . CASLTEST - Uma ferramenta para geração automática de oráculos e dados de teste a partir de especificação formais em CASL . In: X Encontro de Inciação Científica da Ufpb, 2002, João Pessoa, 2002.
OLIVEIRA, K. A. ; GOMES, H. M. . Desenvolvimento de um tutorial interativo para Internet sobre o reconhecimento de litofácies a partir de perfis de poços de petróleo utilizando Redes Neurais. In: X Encontro de Inciação Científica da Ufpb, 2002, João Pessoa, 2002.
OLIVEIRA, K. A. ; BESERRA, G. N. ; MIRANDA, R. A. V. ; GONÇALVES, V. H. ; BAPTISTA, C. S. . iGIS: Um framework para sistemas de informações geográficas na Internet. In: X ENCONTRO DE INCIAÇÃO CIENTÍFICA DA UFPB, 2002, João Pessoa, 2002.
OLIVEIRA, K. A. ; MACHADO, P. D. L. ; PINTO, A. L. S. . Automação de Teste Formal a partir de Especificações Algébricas em CASL. In: IX Encontro de Iniciação Científica da Ufpb, 2001, João Pessoa, 2001.
PINTO, A. L. S. ; MACHADO, P. D. L. ; OLIVEIRA, K. A. . Derivação de Oráculos de Teste a partir de Especificações Algébricas. In: IX Encontro de Iniciação Científica da Ufpb, 2001, João Pessoa, 2001.
OLIVEIRA, K. A. ; GOMES, H. M. . Implementação de um Método Baseado em Redes Neurais para a Descoberta de Conhecimento em Bases de Dados de Poços de Petróleo e Gás . In: IX Encontro de Iniciação Científica da Ufpb, 2001, João Pessoa, 2001.

Outras produções

MIRANDA, R. A. V. ; OLIVEIRA, K. A. ; NATHANLI, G. ; VAGNER, H. . Igis - Internet Geographic Information System. 2003.

OLIVEIRA, K. A. ; GOMES, H. M. . Neuropetro. 2003.

MACHADO, P. D. L. ; OLIVEIRA, K. A. ; PINTO, A. L. S. . CASL TEST - Test Design and Generations from CASL Specifications. 2001.

OLIVEIRA, K. A. . Monitor em Teoria da Computação. 2001.

Prêmios

2003

Melhor Desempenho Acadêmico dentre os concluintes do semestre 2003/01, CCT (Centro de Ciências e Tecnologia)/UFCG (Universidade Federal de Campina Grande).

Histórico profissional

Endereço profissional

Serviço Federal de Processamento de Dados. , Av Perimetral, 66077-830 - Belem, PA - Brasil

Experiência profissional

2007 - Atual

Serviço Federal de Processamento de Dados

Vínculo: Servidor Público, Enquadramento Funcional: Analista de Sistemas, Carga horária: 40, Regime: Dedicação exclusiva.

2004 - 2006

Cia de Aguas e Esgotos da Paraiba

Vínculo: Servidor Público, Enquadramento Funcional: Analista de Suporte, Carga horária: 40, Regime: Dedicação exclusiva.

2003 - 2004

Universidade Federal de Campina Grande

Vínculo: Outro, Enquadramento Funcional: Outro, Carga horária: 20

Outras informações:
Projeto de Pesquisa e desenvolvimento vinculado à CHESF

Atividades

11/2003 - 03/2004
Pesquisa e desenvolvimento .,Linhas de pesquisa

2003 - 2004

Ponto de Presença do Estado da Paraíba

Vínculo: Outro, Enquadramento Funcional: Analista de Suporte, Carga horária: 40

Atividades

09/2003
Serviços técnicos especializados .,Serviço realizado, Monitorar e dar Suporte a Rede Nacional de Pesquisa no Estado da Paraíba, e ao Backbone da UFCG.

2003 - 2003

Era Digital

Vínculo: Outro, Enquadramento Funcional: Outro, Carga horária: 20

Atividades

04/2003 - 09/2003
Estágios .,Estágio realizado, Fazer refactoring, teste de unidade e de carga sobre o software Atualizare.