Petrônio de Luna Braga

possui graduação (2006) e mestrado (2008) em Engenharia da Computação pela UPE (Universidade de Pernambuco) . Atualmente, é aluno de doutorado em Ciência da Computação na UFPE (Universidade de Pernambuco). Tem se envolvido em pesquisas na área de inteligência artificial, principalmente nos seguintes temas: Técnicas de Aprendizagem de Máquina, Reconhecimento de Padrões, Mineração de Dados, Estimativas de Esforço em Projetos de Software e Risco de Indisponibilidade do Sistema Elétrico. Foi monitor da disciplina de Compiladores (UPE) e Redes Neurais Artificiais (UPE). Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Informação (7 anos de experiência em desenvolvimento de software). Trabalha atualmente no desenvolvimento de aplicações para ambiente Web com tecnologia Java, JSP, JS (JQuery), Struts, Spring, Hibernate, Maven, banco de dados MySQL, SQLServer e ORACLE. Tem certificado de programador JAVA desde 2005.

Informações coletadas do Lattes em 10/04/2026

Acadêmico

Formação acadêmica

Doutorado em andamento em Ciências da Computação

2008 - Atual

Universidade Federal de Pernambuco
Orientador: Paulo Jorge Leitão Adeodato e Adriano L. I. de Oliveira
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Estimativa de Esforço; Estimativas de Custo; Redes Neurais Artificiais; Técnicas de Aprendizagem de Máquina; Mineração de Dados.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: Computação Inteligente / Especialidade: Computação Inteligente.

Mestrado em Engenharia da Computação

2006 - 2008

Universidade de Pernambuco
Orientador: Adriano Lorena Inácio de Oliveira e Silvio R. de L. Meira
Bolsista do(a): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, FACEPE, Brasil. Palavras-chave: Estimativas de Custo; Gerenciamento de Projetos; Estimativa de Esforço; Técnicas de Aprendizagem de Máquina; Redes Neurais Artificiais.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Inteligência Artificial. 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: Computação Inteligente.

Graduação em Engenharia da Computação

2001 - 2006

Universidade de Pernambuco
Orientador: Dr. Renato Fernandes Corrêa

Formação complementar

2012 - 2012

I Workshop de crédito e cobrança Goon. (Carga horária: 12h). , NeuroTech Tecnologia da Informação, NEUROTECH, Brasil.

2008 - 2008

Fundamentos de Teste de Software. (Carga horária: 20h). , Centro de Tecnologia de Software para Exportação do Recife.

2004 - 2004

Desenvolvimento de Aplicações GNU/Linux. (Carga horária: 12h). , Universidade de Pernambuco, UPE, Brasil.

1995 - 1999

Química. , Instituto Federal de Pernambuco.

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma 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: Computação Inteligente/Especialidade: Computação Inteligente.

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

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: Probabilidade e Estatística / Subárea: Probabilidade e Estatística Aplicadas.

Participação em eventos

Simpósio Brasileiro de Linguagens de Programação. 2006. (Congresso).

Orientou

Gustavo Henrique Tavares Ribeiro

Ferramenta para estimativa de esforço em projetos de software baseada em técnicas de computação inteligente; 2008; Iniciação Científica; (Graduando em Engenharia da Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Petrônio de Luna Braga;

Produções bibliográficas

  • OLIVEIRA, A. L. I. ; BRAGA, P. L. ; Ricardo Massa Ferreira Lima ; CORNELIO, M. L. . GA-Based Method for Feature Selection and Parameters Optimization for Machine Learning Regression Applied to Software Effort Estimation. Information and Software Technology , v. 52, p. 1155-1166, 2010.

  • ADEODATO, P. J. L. ; BRAGA, P. L. ; ARNAUD, A. L. ; VASCONCELOS, G. C. ; GUEDES, F. ; MENEZES, H. B. ; LIMEIRA, G. O. . Domain Driven Data Mining for Unavailability Estimation of Electrical Power Grids. In: International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, 2010, Córdoba. International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, 2010. v. LNAI. p. 357-366.

  • BRAGA, P. L. ; OLIVEIRA, A. L. I. ; MEIRA, S. R. L. . A GA-based Feature Selection and Parameters Optimization for Support Vector Regression Applied to Software Effort Estimation. In: ACM Symposium on Applied Computing, 2008, Fortaleza. A GA-based Feature Selection and Parameters Optimization for Support Vector Regression Applied to Software Effort Estimation, 2008. v. 3. p. 1788-1792.

  • BRAGA, P. L. ; OLIVEIRA, A. L. I. ; RIBEIRO, G. H. T. ; MEIRA, S. R. L. . Bagging Predictors for Estimation of Software Project Effort. In: IEEE International Joint Conference on Neural Networks, 2007, Orlando-Flórida. IEEE International Joint Conference on Neural Networks, 2007. p. 1595-1600.

  • BRAGA, P. L. ; OLIVEIRA, A. L. I. ; MEIRA, S. R. L. . Software Effort Estimation using Machine Learning Techniques with Robust Confidence Intervals. In: IEEE International Conference on Tools with Artificial Intelligence, 2007, Patras - Grécia. IEEE International Conference on Tools with Artificial Intelligence, 2007. p. 181-185.

Outras produções

BRAGA, P. L. . Analisador de Risco de Indisponibilidade. 2010.

BRAGA, P. L. . Ferramenta para Estimativa de Esforço de Projetos de Software Baseada em Técnicas de Computação Inteligente. 2008.

Projetos de pesquisa

  • 2006 - 2008

    Ferramenta para Estimativa de Esforço de Projetos de Software Baseada em Técnicas de Computação Inteligente, Descrição: A estimativa precisa do custo e do prazo de projetos de software no início de seu ciclo de vida (ainda na fase de levantamento de requisitos) é fundamental para a indústria de software. Diversos projetos de software foram interrompidos devido a atrasos no prazo e, conseqüentemente, devido ao custo real do projeto (ainda incompleto) ter superado significativamente o custo estimado no início do mesmo. A estimativa imprecisa do custo e do prazo de projetos de software contribui fortemente para a interrupção de projetos de software. Estas interrupções geraram prejuízos entre US$ 25 bilhões e US$ 75 bilhões na economia dos Estados Unidos nos últimos cinco anos. Portanto, o desenvolvimento de técnicas e a construção de ferramentas para a estimativa precisa do custo e do prazo de desenvolvimento de projetos de software é um problema bastante relevante para a economia dos países, que são cada vez mais dependentes de software. O problema da estimativa de esforço de software pode ser tratado como um problema de regressão. A partir do tamanho estimado do software (em número de linhas de código) e de outras métricas de desenvolvimento de software pode-se construir um modelo de regressão usando dados de projetos concluídos. A partir daí, o modelo construído é usado para estimar (prever) o esforço em homens-hora de novos projetos de software. O COCOMO tem sido o modelo mais utilizado na prática para esta estimativa. No entanto, recentemente alguns trabalhos mostraram que técnicas de computação inteligente, em particular, técnicas de aprendizagem de máquina, tais como redes neurais artificiais (RNAs), são capazes de fornecer estimativas mais precisas que as do modelo COCOMO. Há diversas técnicas recentes de aprendizagem de máquina que tem obtido melhor desempenho que modelos mais antigos de RNAs em diversos problemas práticos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Petrônio de Luna Braga - Integrante / Adriano Lorena Inácio de Oliveira - Coordenador., Financiador(es): Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco - Bolsa.

  • 2005 - 2006

    Teaching Formal Methods Through Eclipse - IBM Faculty Award, Descrição: A disciplina de Métodos formais está presente no currículo de muitos cursos de graduação, mestrado e doutorado na área de Ciência da Computação. Devido aos conceitos matemáticos e aspectos teóricos envolvidos, a disciplina é normalmente ensinada através de métodos tradicionais (quadro branco e slides). Além disso, as ferramentas computacionais disponíveis não contemplam as modernas tecnologias voltadas para a área de ensino e aprendizagem. Em particular, nenhuma delas oferece um ambiente virtual de ensino e aprendizagem, com facilidades para troca de informações e experiências sobre o tema em estudo. Finalmente, requisitos de extensibilidade não são considerados por tais ferramentas. Este projeto propõe o desenvolvimento de um ambiente educacional para ensino de métodos formais em cursos de graduação baseado no Eclipse. Petri nets será a técnica de especificação formal a ser adotada. O ambiente educacional será parte do framework EZPetri. O framework EZPetri é uma perspectiva da plataforma Eclipse voltada para redes de Petri. Ele adota o Petri Net Markup Language (PNML) como formato interno para representação das redes [2]. A união do Eclipse e PNML tem se mostrado um instrumento bastante efetivo para a integração de ferramentas e aplicações baseadas em redes de Petri. Atualmente, três aplicações estão sendo integradas ao framework: estimativa de consumo de potência em software; um modelo SystemC para redes de Petri; síntese de escalas para sistemas de tempo real críticos. Tais aplicações foram desenvolvidas com nenhum conhecimento sobre o EZPetri. EZPetri é portanto um terreno fértil para a combinação de ferramentas e aplicações baseadas em redes de Petri em um único ambiente. oferecendo uma nova perspectiva de integração para a comunidade de redes de Petri.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (7) / Mestrado acadêmico: (1) . , Integrantes: Petrônio de Luna Braga - Integrante / Ricardo Massa Ferreira Lima - Coordenador., Financiador(es): IBM Brasil - Auxílio financeiro.

Prêmios

2005

Sun Certified Java Programmer, Sun Microsystems, Inc..

Histórico profissional

Endereço profissional

  • NeuroTech Tecnologia da Informação, NeuroTech Tecnologia da Informação. , Av. Cais do Apolo, Recife Antigo, 50030-905 - Recife, PE - Brasil, Telefone: (81) 33122740

Experiência profissional

2008 - 2012

NeuroTech Tecnologia da Informação

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador e Desenvolvedor, Carga horária: 40

Outras informações:
Desenvolvimento de aplicações para ambiente Desktop com tecnologia Java com base de dados Oracle para análise de risco de indisponibilidade de sistemas elétricos Desenvolvimento de aplicações para ambiente web e mobile com tecnologia Java, Struts, Spring MVC, JDBC, Hibernate, Maven, banco de dados MySQL, Oracle, SQL Server, HTML, CSS e Javascript (JQuery)

2006 - 2006

Policentro Consulprev Informática Associados Ltda

Vínculo: Estagiário, Enquadramento Funcional: Desenvolvimento de sistemas, Carga horária: 30

Outras informações:
Desenvolvimento do sistema corporativo eFisco (módulo de auditoria), utilizado pela Secretaria da Fazenda do Estado de Pernambuco (SEFAZ), utilizando J2EE e J2SE com atuação em banco de dados (IBM DB2), JSP, JavaScript e HTML.

Atividades

  • 01/2006 - 06/2006

    Estágios , Policentro Consulprev Informática Associados Ltda, .,Estágio realizado, Desenvolvimento de sistemas.

2005 - 2005

Elogica Micro Sistema Ltda

Vínculo: Estagiário, Enquadramento Funcional: Desenvolvimento de sistemas, Carga horária: 20

Outras informações:
Desenvolvimento de sistemas web utilizando HTML, CSS, Javascript e PHP.

Atividades

  • 01/2005 - 08/2005

    Estágios , Elógica Micro Sistema Ltda, .,Estágio realizado, Desenvolvimento de sistemas web.

2001 - 2003

Universidade de Pernambuco

Vínculo: Estagiário, Enquadramento Funcional: Suporte ao usuário, Carga horária: 20

Outras informações:
Estágio na faculdade de enfermagem da Universidade de Pernambuco, onde realiza atividades de help-desk

Atividades

  • 08/2006 - 07/2008

    Pesquisa e desenvolvimento , Departamento de Sistemas Computacionais, .,Linhas de pesquisa

  • 08/2005 - 04/2006

    Pesquisa e desenvolvimento , Departamento de Sistemas Computacionais, .,Linhas de pesquisa

  • 09/2001 - 09/2003

    Estágios , Faculdade de Enfermagem Nossa Senhora das Graças, .,Estágio realizado, Estágio na FENSG - suporte aos professores e manutenção dos computadores.