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

Universidade Tecnológica Federal do Paraná

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

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma 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

Aluno: João Manoel Santos Almeida

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.

Aluno: JAINE DA CONCEICAO SANTOS

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.

Aluno: Fillipe Almeida Paz

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.

Aluno: Alexandre Santos Maciel / Isaías Santana Dos Santos

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.

Aluno: Dimitri Carvalho Menezes

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.

Aluno: Breno Cruz Barros

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.

Aluno: Brunno Augusto Leite Figueiredo

CARVALHO, A. B.; SILVA, Leila M. de A.;Piva, Breno. Explorando Metaheurísticas Bioinspiradas no Problema do Caixeiro Viajante. 2016.

Aluno: Rodrigo Benedito Otoni

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.

Aluno: Antônio Vinícius Menezes Medeiros

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.

Aluno: Edman Paes dos Anjos

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.

Aluno: Guilherme Baptista Prudente

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.

Aluno: Marcel Alves Bispo

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

Rafael Henrique Sena

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);

Fábio de Paula Valente Rodrigues

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;

Felipe de Carvalho Pereira

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;

Natanael Batista dos Santos

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;

Matheus Silva Santos

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;

Yúri Faro Dantas de Sant'Anna

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;

Fábio de Paula Valente Rodrigues

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;

Rafael Henrique Sena

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;

Felipe de Carvalho Pereira

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;

Marina Vivas Andrade Reis

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;

Natanael Batista dos Santos

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;

Jose Carlos Almeida Junior

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;

Adam Lucas Pinheiro da Silva

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 Sergipe

Vínculo: Servidor Público, Enquadramento Funcional: Professor, Regime: Dedicação exclusiva.

2006 - 2006

Universidade Federal de Sergipe

Ví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 Campinas

Ví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