Breno Piva Ribeiro
Possui graduação em Ciência da Computação pela Universidade Federal de Sergipe (2006) , mestrado em Ciência da Computação pela Universidade Estadual de Campinas (2009) e doutorado em Ciência da Computação pela Universidade Estadual de Campinas (2016)
Informações coletadas do Lattes em 09/10/2024
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
2009 - 2016
Universidade Estadual de Campinas
Título: Finding Geometric Structures with Minimum Stabbing Number
, Ano de obtenção: 2016. Cid Carvalho de Souza. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Stabbing Number; Crossing Number; Integer programming; Computational Complexity.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Mestrado em Ciência da Computação
2007 - 2009
Universidade Estadual de Campinas
Título: Estudo Poliedral do Problema do Máximo Subgrafo Induzido Comum
, Ano de Obtenção: 2009.Cid Carvalho de Souza.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Otimização Combinatória; Programação Linear Inteira; Combinatória Poliédrica; Isomorfismo de Subgrafos; Máximo Subgrafo Induzido Comum.Grande área: Ciências Exatas e da Terra
Especialização em andamento em Curso de Especialização em Ciência de Dados
2020 - Atual
Graduação em Ciência da Computação
2001 - 2006
Universidade Federal de Sergipe
Título: Verificando Modelos com E-LOTOS e SPIN
Orientador: Giovanny Fernando Lucero Palma
Formação complementar
2006 - 2006
Biometria do Comportamento. (Carga horária: 8h). , Erbase, ERBASE, Brasil.
2006 - 2006
Computação Forense. (Carga horária: 8h). , Erbase, ERBASE, Brasil.
2006 - 2006
Ferramentas de Apoio à Const de Softs Confiáveis... (Carga horária: 8h). , Erbase, ERBASE, Brasil.
2002 - 2002
Sistemas de Detecção de Intrusos. (Carga horária: 8h). , Erbase, ERBASE, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Otimização Combinatória.
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: Ciência de Dados.
Organização de eventos
Piva, Breno ; Farias, M A F ; Oliveira, R P ; Santos, F B ; MATOS JR., R. S. . XVIII Escola Regional de Computação Bahia-Alagoas-Sergipe. 2018. (Outro).
Piva, Breno . VI ERBASE - Escola Regional de Computação Bahia-Sergipe. 2006. (Congresso).
Participação em eventos
X Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS).Approximations for Restrictions of The Budgeted and Generalized Maximum Coverage Problems. 2019. (Simpósio).
International Symposium on Combinatorial Optimization.The Next Release Problem: Complexity, Exact Algorithms and Computations. 2018. (Simpósio).
XVII Escola Regional Bahia-Alagoas-Sergipe de Computação. 2017. (Outra).
São Paulo School of Advanced Science on Algorithms, Combinatorics and Optimization. 2016. (Oficina).
XVI Escola Regional Bahia-Alagoas-Sergipe de Computação. 2016. (Outra).
VIII Latin-American Algorithms, Graphs and Optimization Symposium.Partitions of Rectilinear Polygons with Minimum Stabbing Number. 2015. (Simpósio).
International Symposium on Combinatorial Optimization.The Minimum Stabbing Triangulation Problem: IP Models and Computational Evaluation. 2012. (Simpósio).
ALIO/INFORMS International Joint Meeting. Polyhedral Study of the Maximum Common Induced Subgraph Problem (MCIS). 2010. (Congresso).
V WTD (Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica).Estudo Poliedral do Problema do Máximo Subgrafo Induzido Comum. 2009. (Oficina).
SBMF 2006 - Brazilian Symposium on Formal Methods.E-LIFT: Verifying E-LOTOS Specifications with SPIN. 2006. (Simpósio).
VI ERBASE - Escola Regional de Computação Bahia-Sergipe. LIFT: aliando LOTOS a SPIN. 2006. (Congresso).
Maratona de Programação.Regional Brasileira da Maratona de Programação. 2005. (Outra).
The 2005 ACM-ICPC South America.Final Brasileira da Maratona de Programação. 2005. (Outra).
VII Congresso de Iniciação Científica. Verificação de Modelos de Sistemas Concorrentes Descritos em E-LOTOS. 2005. (Congresso).
II Escola Regional de Computação Bahia-Sergipe. 2002. (Congresso).
Participação em bancas
Soares, Michel; BRITO, C. O.;Piva, Breno. Algoritmo Simplex para Resolução de Problemas de Formulação Nutricional. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
SILVA, Leila M. de A.;Piva, Breno. Otimização com Muitos Objetivos Aplicada ao Problema do Escalonamento Dinâmico em Projeto de Software. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
Salgueiro, Ricardo; FERREIRA, I. S. E.; SALGUEIRO, E. M.;Piva, Breno. Análise de Desempenho e Consumo Energético Aplicada ao Planejamento de Rotas Veiculares em Cidades Inteligentes. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
Rocha, Tarcísio da; Costa Neto, A.;Piva, Breno. Uma Solução para Desenvolvimento Remoto via Browser baseada no Eclipse Che. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
GUSMAO, R. P.; CARVALHO, A. B.;Piva, Breno. Formulações Exata e Heurística para o Problema de Programação de Horários da Universidade Federal de Sergipe. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
CARVALHO, A. B.; MACEDO, H. T.;Piva, Breno. Explorando a Otimização por Enxames de Partículas Multi-Objetivo no Problema da Próxima Versão. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
CARVALHO, A. B.; SILVA, Leila M. de A.;Piva, Breno. Explorando Metaheurísticas Bioinspiradas no Problema do Caixeiro Viajante. 2016.
SILVA, Leila M. de A.; LUCERO, Giovanny;Piva, Breno. Uma Estratégia para a Verificação de Implementações de Sistemas de Controle em Safety-Critical Java. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
Soares, Michel; Nascimento, Rogério;Piva, Breno. UM INTERPRETADOR ONLINE PARA A LINGUAGEM PORTUGOL. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
Medeiros, Sérgio; Dantas, Daniel;Piva, Breno. A implementação da Ferramenta de Casamento de Padrões RePEG. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
Rocha, Tarcísio da; Salgueiro, Ricardo;Piva, Breno. Processamento Remoto para IDEs. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
Rocha, Tarcísio da; Salgueiro, Ricardo;Piva, Breno. Processamento Remoto para IDEs. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe.
TAVARES, W. A.; SOUZA, C. P.;Piva, Breno. Seleção de Docente do Ensino Superior: Setor Teoria da Computação vinculado ao Centro de Ciências e Tecnologia da Universidade Federal do Cariri Edital 38/2019. 2019. Universidade Federal do Cariri.
Freire, A.; ESTOMBELO-MONTESCO, C. A.;Piva, Breno. Seleção para Professor Substituto/Temporário de Banco de Dados edital 07/2013. 2013. Universidade Federal de Sergipe.
Orientou
Algoritmo baseado em Programação Linear Inteira para o Problema de Programação de Horários de Turmas no Departamento de Computação da Universidade Federal de Sergipe; Início: 2020; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; (Orientador);
Análise de Desempenho de Modelos de Fila para o Restaurante Universitário do Campus de São Cristóvão da Universidade Federal de Sergipe; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Explorando o Knapsack Median Problem com Programação Linear Inteira; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Modelo de Programação Linear Inteira para o Problema da Alocação de Salas de Aula: Estudo de caso da Universidade Federal de Sergipe; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Priorização de Casos de Teste com Limite de Tempo Usando o GRASP; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Desenvolvimento de Sistema para Otimização da Alocação de Pacientes em Quimioterapia; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Complexidade e Algoritmos para Restrições do Problema da Configuração de Produto; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Algoritmos Baseados em Programação Linear Inteira para o Problema da Configuração de Produto; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Coordenação de Pesquisa - UFS; Orientador: Breno Piva Ribeiro;
Complexidade e Algoritmos Pseudopolinomiais para o Problema da Próxima Versão; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Complexidade e Algoritmos Aproximativos para o Problema da Próxima Versão; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Partição Retangular com Trespasse Mínimo: Desigualdades Válidas e Complexidade; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe, Coordenação de Pesquisa - UFS; Orientador: Breno Piva Ribeiro;
Explorando uma Abordagem de Programação Linear Inteira para a Engenharia de Requisitos; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Otimização de Conjuntos de Casos de Testes de Software com Programação Inteira; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Sergipe; Orientador: Breno Piva Ribeiro;
Produções bibliográficas
-
Piva, Breno . Approximations for Restrictions of The Budgeted and Generalized Maximum Coverage Problems. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 346, p. 667-676, 2019.
-
Piva, Breno ; SOUZA, Cid Carvalho de . Minimum stabbing rectangular partitions of rectilinear polygons. COMPUTERS & OPERATIONS RESEARCH , v. 80, p. 184-197, 2017.
-
Piva, Breno ; de Souza, Cid C. . Partitions of Rectilinear Polygons with Minimum Stabbing Number. ELECTRONIC NOTES IN DISCRETE MATHEMATICS , v. 50, p. 267-273, 2015.
-
Piva, Breno ; SOUZA, Cid Carvalho de ; FROTA, YURI ; SIMONETTI, LUIDI . Integer programming approaches for minimum stabbing problems. Recherche Opérationnelle , v. 48, p. 211-233, 2014.
-
Bahiense, Laura ; Mani, Gordana ; Piva, Breno ; de Souza, Cid C. . The maximum common edge subgraph problem: A polyhedral investigation. Discrete Applied Mathematics , v. 1, p. 1, 2012.
-
Piva, Breno ; SOUZA, Cid Carvalho de . Polyhedral study of the maximum common induced subgraph problem. Annals of Operation Research , v. 199, p. 77-102, 2012.
-
Almeida, José Carlos ; Pereira, Felipe de C. ; Reis, Marina V. A. ; Piva, Breno . The Next Release Problem: Complexity, Exact Algorithms and Computations. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2018, v. 10856, p. 26-38.
-
Piva, Breno ; de Souza, Cid C. . The Minimum Stabbing Triangulation Problem: IP Models and Computational Evaluation. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. , p. 36-47.
-
Piva, Breno ; LUCERO, Giovanny F. ; SILVA, Leila M. de A. . LIFT: aliando LOTOS a SPIN. In: VI ERBASE - Escola Regional de Computação Bahia-Sergipe, 2006, Aracaju. Anais do VI ERBASE e do IV WTICG-BASE, 2006.
-
SANTOS, W. J. F. ; SOUZA, S. S. ; OLIVEIRA, T. S. ; Piva, Breno ; SANTOS, I. F. ; SILVA, A. M. F. . EPIDEMIOLOGIA DO CÂNCER DE PULMÃO EM SERGIPE: PERFIL DE PACIENTES QUE RECEBERAM TRATAMENTO QUIMIOTERÁPICO OU TERAPIA-ALVO ENTRE 2018 E 2022. In: 1 Congresso ALAGIPE de Câncer de Pulmão, 2023, Aracaju. Anais do 1 Congresso Alagipe Câncer de Pulmão, 2023.
-
SANTOS, I. F. ; SOUZA, S. S. ; ARGOLO, M. F. ; SILVA, A. M. F. ; Piva, Breno ; OLIVEIRA, T. S. . ESTUDO DO TEMPO ENTRE O DIAGNÓSTICO E O INÍCIO DO TRATAMENTO DO CÂNCER DE PULMÃO DA POPULAÇÃO SERGIPANA NO SUS. In: 1 Congresso ALAGIPE de Câncer de Pulmão, 2023, Aracaju. Anais do 1 Congresso Alagipe Câncer de Pulmão, 2023.
-
ARGOLO, M. F. ; SANTOS, I. F. ; SANTOS, W. J. F. ; SILVA, A. M. F. ; OLIVEIRA, T. S. ; Piva, Breno . AVALIAÇÃO DE ACESSO DOS PACIENTES COM CÂNCER DE PULMÃO A TERAPIA ALVO NO ESTADO DE SERGIPE NO PERÍODO DE 2018 A 2022. In: 1 Congresso ALAGIPE de Câncer de Pulmão, 2023, Aracaju. Anais do 1 Congresso Alagipe Câncer de Pulmão, 2023.
-
Piva, Breno ; SOUZA, C. C. . Estudo Poliedral do Problema do Máximo Subgrafo Induzido Comum. In: V WTD (Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica), 2009, Campinas. Anais do V Workshop de Teses, Dissertações e Trabalhos de Iniciação Científica, 2009. p. 65-68.
-
Piva, Breno ; SOUZA, C. C. . Polyhedral Study of the Maximum Common Induced Subgraph Problem (MCIS). In: ALIO/INFORMS International Joint Meeting, 2010, Buenos Aires. Annals of ALIO/INFORMS 2010, 2010. p. 64-64.
-
Piva, Breno ; LUCERO, Giovanny F. ; SILVA, Leila M. de A. . Verificação de Modelos de Sistemas Concorrentes Descritos em E-LOTOS. In: VII Congresso de Iniciação Científica, 2005, São Cristóvão. Resumos do VII Congresso de Iniciação Científica, 2005. p. 23-23.
-
Piva, Breno . Approximations for Restrictions of The Budgeted and Generalized Maximum Coverage Problems. 2019. (Apresentação de Trabalho/Simpósio).
-
Almeida, José Carlos ; Pereira, Felipe de C. ; Reis, Marina V. A. ; Piva, Breno . The Next Release Problem: Complexity, Exact Algorithms and Computations. 2018. (Apresentação de Trabalho/Simpósio).
-
Piva, Breno ; SOUZA, Cid Carvalho de . Partitions of Rectilinear Polygons with Minimum Stabbing Number. 2015. (Apresentação de Trabalho/Simpósio).
-
Piva, Breno ; SOUZA, C. C. . The Minimum Stabbing Triangulation Problem: IP Models and Computational Evaluation. 2012. (Apresentação de Trabalho/Simpósio).
-
Piva, Breno ; SOUZA, Cid Carvalho de . Polyhedral Study of the Maximum Common Induced Subgraph Problem (MCIS). 2010. (Apresentação de Trabalho/Congresso).
Prêmios
2005
Honorable Mention na Final Brasileira da Maratona de Programação, ACM.
Histórico profissional
Endereço profissional
-
Universidade Federal de Sergipe, Centro de Ciências Exatas e Tecnologia, Departamento de Computação. , Av. Marechal Rondon, s/n. DCOMP, Sala 27, Jardim Rosa Elze, 49100000 - Aracaju, SE - Brasil, Telefone: (79) 21056600, URL da Homepage:
Experiência profissional
2012 - Atual
Universidade Federal de SergipeVínculo: Servidor Público, Enquadramento Funcional: Professor, Regime: Dedicação exclusiva.
2006 - 2006
Universidade Federal de SergipeVínculo: Monitor, Enquadramento Funcional: Monitor de Linguagens Formais e Autômatos, Carga horária: 4
Outras informações:
Monitor de Compiladores e Linguagens Formais
2008 - 2008
Universidade Estadual de CampinasVínculo: Programa de Estágio Docente C, Enquadramento Funcional: Aluno de Mestrado, Carga horária: 8
Outras informações:
PED C na disciplina Algoritmos e Programação de Computadores
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Breno Piva Ribeiro 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?