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
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
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
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çãoVí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 LtdaVí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 LtdaVí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 PernambucoVí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.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Petrônio de Luna Braga 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?