Bruno César Ribas

  • Endereço para acessar este CV: http://lattes.cnpq.br/6871745921667698
  • Última atualização do currículo em 20/08/2018


Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Paraná (2008), mestrado em Informática pela Universidade Federal do Paraná (2011) e doutorado em Informática pela Universidade Federal do Paraná (2015). Atualmente é professor adjunto da Universidade Tecnológica Federal do Paraná. Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: software livre, unix, diagnósico instantâneo, enumeração de modelos e cnf. (Texto informado pelo autor)


Identificação


Nome
Bruno César Ribas
Nome em citações bibliográficas
Ribas, Bruno Cesar

Endereço


Endereço Profissional
Universidade Tecnológica Federal do Paraná, Campus Pato Branco.
Rua Via do Conhecimento, Km 1
Fraron
85503390 - Pato Branco, PR - Brasil
Telefone: (46) 32202593
URL da Homepage: www.pb.utfpr.edu.br


Formação acadêmica/titulação


2011 - 2015
Doutorado em Informática.
Universidade Federal do Paraná, UFPR, Brasil.
Título: Um método de pré-processamento de fórmulas SAT e pseudo-Boolean baseado em técnicas de programação linear inteira mista, Ano de obtenção: 2015.
Orientador: Fabiano Silva.
Palavras-chave: satisfatibilidade; CNF; pseudo-Boolean; Programação Linear.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2009 - 2011
Mestrado em Informática.
Universidade Federal do Paraná, UFPR, Brasil.
Título: Satisfatibilidade Não-Clausal Restrita às Variáveis de Entrada,Ano de Obtenção: 2011.
Orientador: Fabiano Silva.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: enumeração de modelos; Negated Normal Form; satisfatibilidade; NNF; ISCAS; Aprendizado de Cláusulas.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2004 - 2008
Graduação em Bacharelado em Ciência da Computação.
Universidade Federal do Paraná, UFPR, Brasil.
Título: Entendendo a Tecnologia para Resolver Problemas NP-completo Dentro de SAT.
Orientador: Fabiano Silva.
Bolsista do(a): Funpar, FUNPAR, Brasil.




Atuação Profissional



Universidade Tecnológica Federal do Paraná, UTFPR, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2012 - 2015
Vínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2012 - 2012
Vínculo: Colaborador, Enquadramento Funcional: Professor Temporário, Carga horária: 40

Atividades

10/2015 - Atual
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estruturas de Dados 1
Segurança Computacional
10/2012 - 10/2015
Ensino, Engenharia da Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estrutura de Dados I
Sistemas Operacionais
4/2012 - 10/2012
Ensino, Engenharia de Computação, Nível: Graduação

Disciplinas ministradas
Algoritmos e Estrutura de Dados I
Sistemas Operacionais

Universidade Federal do Paraná, UFPR, Brasil.
Vínculo institucional

2004 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20

Atividades

10/2004 - Atual
Pesquisa e desenvolvimento , Departamento de Informática, .

08/2010 - 03/2012
Extensão universitária , Departamente de Informática - C3SL, .

Atividade de extensão realizada
Participação do Projeto Linux Educacional.
03/2010 - 02/2012
Direção e administração, Departamento de Informática, .

Cargo ou função
Membro titular (discente) de colegiado do Programa de Pós-graduação stricto sensu em Informática da UFPR.
03/2009 - 12/2011
Extensão universitária , Departamento de Informática, .

Atividade de extensão realizada
Técnico Equipe do curso Bacharelado em Ciência da Computação para Maratona de Programação.
10/2004 - 08/2009
Extensão universitária , Departamente de Informática - C3SL, .

Atividade de extensão realizada
Bolsa de Iniciação Científica concedida pela FUNPAR por atuação em pesquisa e desenvolvimento no Grupo de Pesquisa C3SL.
10/2004 - 08/2008
Extensão universitária , Departamente de Informática - C3SL, .

Atividade de extensão realizada
Participação do Projeto Paraná Digital.
12/2006 - 12/2007
Extensão universitária , Departamente de Informática - C3SL, .

Atividade de extensão realizada
Material didático produzido para projeto de pesquisa intitulado ?Apoio computacional ao ensino de xadrez nas escolas brasileiras?.
03/2006 - 12/2006
Extensão universitária , Departamento de Informática, .

Atividade de extensão realizada
Monitor Voluntário - Disciplina CI055.


Linhas de pesquisa


1.
Satisfatibilidade Não-Clausal
2.
Satisfatibilidade
3.
Software Livre
4.
Satisfatibilidade Pseudo-Boolean


Projetos de pesquisa


2017 - Atual
Consolidação de Máquinas Virtuais
Descrição: O objetivo deste trabalho é projetar e desenvolver um processo de alocação de máquinas virtuais considerando múltiplas características das máquinas virtuais envolvidas, por exemplo, memória, processamento, tráfego de rede, bem como a exploração de máquinas virtuais que influenciam no desempenho de outras virtuais alocadas no mesmo hardware..
Situação: Em andamento; Natureza: Pesquisa.
2016 - Atual
Modelagem de problemas para instâncias SAT
Descrição: Sistemas computacionais são cada vez mais usados em aplicações críticas como por exemplo: automóveis, aviões, trens e sistemas de distribuição de energia. A garantia de um funcionamento correto desses sistemas é crucial e quanto maior o sistema maior é a complexidade de afirmar o seu correto funcionamento, por isso, a verificação automática do software e do hardware é crucial para a construção e operação desses sistemas computacionais. Muitas ferramentas de verificação automática dependem de procedimentos de decisão para verificar a satisfatibilidade de várias fórmulas lógicas proposicionais que são geradas durante o processo de verificação. O objetivo deste trabalho é identificar e modelar problemas para instâncias SAT..
Situação: Em andamento; Natureza: Pesquisa.
2010 - 2012
Otimização do Despacho Hidrotérmico Através de Algoritmos Híbridos com Computação de Alto Desempenho
Descrição: Desenvolvimento de uma metodologia inovadora para a otimização do despacho hidrotérmico do Setor Elétrico Brasileiro, baseada na modelagem individualizada por usinas, detalhada, não-linear, estocástica e que faz uso de algoritmos híbridos de otimização multiobjetivo. Devido à complexidade esperada, o modelo será desenvolvido para execução em clusters de computadores. Também são produtos deste projeto toda a produção técnico-acadêmica proveniente dos estudos e a capacitação resultante da forte interação entre pesquisadores e profissionais atuantes no Setor Elétrico...
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (1) / Doutorado: (2) .
Integrantes: Bruno César Ribas - Integrante / Fabiano Silva - Integrante / Daniel WEINGAERTNER - Integrante / Alexandre Ibrahim Direne - Integrante / Marcelo Bessa - Coordenador.Financiador(es): Institutos Lactec - Cooperação.


Projetos de extensão


2017 - Atual
Sistema de Correção Automatizada - Ambiente CD-MOJ
Descrição: Neste projeto temos como objetivo geral incrementar funcionalidades no sistema MOJ, para que ele fique com características genéricas, podendo o professor definir como que o ambiente vai se comportar com as submissões dos alunos. Além disso o sistema deve possuir a funcionalidade de submissão de problemas novos de forma simples, sem que o professor tenha muita dificuldade ou que precise de muita burocracia para submissão..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Bruno César Ribas - Coordenador / Willian Zalewski - Integrante.
2017 - Atual
Maratona Linux
Descrição: O objetivo deste projeto é adaptar os pacotes feitos para a nova versão do Ubuntu GNU/Linux que será a 18.04 a ser lançada em abril de 2018. Além disso este projeto fará uma auditoria nos códigos de submissão e de garantia de unicidade de identidade dos times para evitar fraudes durante a competição. Também é importante que o sistema Maratona-Linux tenha similaridade com o ambiente da etapa mundial da competição, tendo instalado os mesmos pacotes de software e que forneça as mesmas linguagens de programação..
Situação: Em andamento; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) .
Integrantes: Bruno César Ribas - Coordenador / Cassio Polpo de Campos - Integrante / Willian Zalewski - Integrante.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Linguagem Formais e Autômatos.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Russo
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.


Prêmios e títulos


2010
Destaque Acadêmico, UFPR.
2008
ACM-ICPC South America (Maratona de programação) - Medalha de Ouro, ACM.
2007
ACM-ICPC South America - Medalha de Bronze, ACM.


Produções



Produção bibliográfica
Trabalhos completos publicados em anais de congressos
1.
MONTANO, R. R. ; Ribas, Bruno Cesar . Planning as Mixed-Horn Formulas Satisfiability. In: ENIAC - Encontro Nacional de Inteligência Artificial, 2017, Uberlândia - MG. 14o Encontro Nacional de Inteligência Artificial e Computaciona, 2017. v. 1.

2.
Ribas, Bruno Cesar; Castilho, Marcos A. ; SILVA, F. ; Suguimoto, Rubens Massayuki ; MONTANO, R. R. . PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation. In: BRACIS, 2013, Fortaleza. to appear, 2013.

3.
Ribas, Bruno Cesar; Suguimoto, Rubens Massayuki ; Montaño, Razer A. N. R. ; Silva, Fabiano ; BONA, L. C. E. ; Castilho, Marcos A. . On Modelling Virtual Machine Consolidation to Pseudo-Boolean Constraints. In: IBERAMIA - Ibero-American Conference on AI, 2012, Cartagena de Indias. 13th Ibero-American Conference on Artificial Intelligence, 2012, Cartagena de Indias. Lecture Notes in Computer Science (Advances in Artificial Intelligence - IBERAMIA 2012), 2012. v. 7637. p. 361-370.

4.
Tavares de Oliveira, Ricardo ; Silva, Fabiano ; Ribas, Bruno Cesar ; CASTILHO, M. A. . On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability. In: IBERAMIA - Ibero-American Conference on AI, 2012, Cartagena de Indias. 13th Ibero-American Conference on Artificial Intelligence, 2012, Cartagena de Indias. Lecture Notes in Computer Science (Advances in Artificial Intelligence - IBERAMIA 2012), 2012. v. 7637. p. 381-391.

5.
Ribas, Bruno Cesar; PASQUALIN, D. G. ; RUOSO, V. K. ; SILVA, F. ; CASTILHO, M. A. ; BONA, L. C. E. . SDI - Sistema de Diagnóstico Instantâneo. In: Workshop de Software Livre, 2009, Porto Alegre. Workshop de Software Livre, 2009.

6.
Ribas, Bruno Cesar; SOUZA, J. . Acesso de mídias removíveis em terminais thinclient sem disco. In: Fórum Internacional de Software Livre (FISL), 2008, Porto Alegre. Workshop de Software Livre, 2008.

7.
Ribas, Bruno Cesar; BONA, L. C. E. ; CASTILHO, M. A. ; Fabiano Silva ; SUNYE, M. S. ; WEINGAERTNER, D. . Managing a Grid of Computer Laboratories for Educational Purposes. In: LAGrid08 - Latin American Grid, 2008, Campo Grande. 2nd Latin American Grid, 2008.

8.
Ribas, Bruno Cesar; SOUZA, J. ; MIRANDA, M. R. ; SCHMITT, E. V. . Instalação e recuperação de sistemas Gnu/Linux com mínimo esforço. In: EVINCI, 2006, Curitiba. 14-o EVINCI: Evento de Iniciação Científica da UFPR, 2006.

9.
Ribas, Bruno Cesar; SCHMITT, E. V. ; CASTILHO, M. A. ; BONA, L. C. E. ; LOURENÇO, Luis H.A. . Acesso aos dispositivos de disquete e cd-rom em modelos servidor/cliente em Linux. In: 14 EVINCI, 2006, Curitiba. 14-o EVINCI: Evento de Iniciação Científica da UFPR, 2006.

10.
Ribas, Bruno Cesar; Fabiano Silva . Representação de Conhecimento Usando Fórmulas Lógicas Proposicionais em NNF. In: 14-o EVINCI - Evento de Iniciação Científica, 2006, Curitiba. EVINCI, 2006.


Produção técnica
Programas de computador sem registro
1.
Ribas, Bruno Cesar; PASQUALIN, D. G. ; RUOSO, V. K. . SDI - Sistema de Diagnóstico Instântaneo. 2008.

2.
Ribas, Bruno Cesar; SOUZA, J. . netboot-thinclient-media. 2007.



Bancas



Participação em bancas de trabalhos de conclusão
Monografias de cursos de aperfeiçoamento/especialização
1.
Ribas, Bruno Cesar; BARBOSA, M. A. C.. Participação em banca de Mariany A. de Souza. GERAÇÃO AUTOMÁTICA DE CÓDIGO A PARTIR DA MANIPULAÇÃO DE MODELOS. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em bancos de dados: Administração e Desenvolvimento) - Universidade Tecnológica Federal do Paraná.

2.
Ribas, Bruno Cesar; POLA, I. R. V.. Participação em banca de Gilvano Piontkoski. COMPARATIVO DE DESEMPENHO DE CONSULTAS SQL ENTRE BANCO DE DADOS EM MEMÓRIA RAM E EM DISCO SSD. 2017. Monografia (Aperfeiçoamento/Especialização em Especialização em bancos de dados: Administração e Desenvolvimento) - Universidade Tecnológica Federal do Paraná.

3.
FAVARIM, F.; PEDROZO, W. G.; Ribas, Bruno Cesar. Participação em banca de Tarlis Torteli Portela. Estudo, Projeto e Implantação de Telefonia VOIP na UTFPR. 2013 - Universidade Tecnológica Federal do Paraná.

4.
RIBEIRO, R.; Ribas, Bruno Cesar; BARBOSA, M. A. C.. Participação em banca de Rafael Mocelin. UM PROTÓTIPO COMPUTACIONAL PARA A CLASSIFICAÇÃO DE IMAGENS USANDO O ALGORITMO K-nn: UM ESTUDO DE CASO EM PROCESSO AVÍCOLA. 2013. Monografia (Aperfeiçoamento/Especialização em Especialização em bancos de dados: Administração e Desenvolvimento) - Universidade Tecnológica Federal do Paraná.

Trabalhos de conclusão de curso de graduação
1.
DERENIEVICZ, G.; CASTILHO, M. A.; SILVA, F.; Ribas, Bruno Cesar. Participação em banca de Guilherme Derenievicz.Redução à Otimização Pseudo Booleana. 2012. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

2.
SILVA, F.; Ribas, Bruno Cesar; GUEDES, A. L. P.. Participação em banca de Diego Giovane Pasqualin.Resolvedor SAT para fórmulas CNF utilizando CUDA. 2011. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

3.
RUOSO, V. K.; DUARTE JR, E. P.; Ribas, Bruno Cesar; ALMEIDA, C. E.. Participação em banca de Vinicius K. Ruoso.PlanetMon: Uma API para Monitoração de Topologias Virtuais no Planet-Lab. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

4.
OLIVEIRA, R. T.; SILVA, F.; Ribas, Bruno Cesar; GUEDES, A. L. P.. Participação em banca de Ricardo Tavares de Oliveira.Estudo e Comparação de Técnicas Utilizadas em Resolvedores MaxSAT. 2010. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.

5.
WIEL, F. A. V.; SUNYE, M. S.; Ribas, Bruno Cesar; MULLER JUNIOR, B.. Participação em banca de Felipe Augusto Van de Wiel.Um sistema de tradução utlizando Postgresql. 2009. Trabalho de Conclusão de Curso (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná.



Participação em bancas de comissões julgadoras
Concurso público
1.
Ribas, Bruno Cesar; BORSOI, B. T.; FREDDO, A. R.. Professor do Magistério Superior da UTFPR no Câmpus Pato Branco. 2017. Universidade Tecnológica Federal do Paraná.

2.
Ribas, Bruno Cesar; TEIXEIRA, M.; CAVALCANTI, P. G.; WUERGES, E.. Professor do Magistério Superior da UTFPR no Câmpus Pato Branco. 2016. Universidade Tecnológica Federal do Paraná.

3.
Ribas, Bruno Cesar; MARIN, L. O.. Professor do Ensino Básico, Técnico e Tecnológico - EBTT. 2015. Instituto Federal do Paraná.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
II Fórum de Tecnologia em Software Livre. SDI ? Um Sistema de Diagnóstico Instantâneo. 2008. (Congresso).

2.
8º Fórum Internacional Software Livre. 2007. (Congresso).

3.
14-o EVINCI: Evento de Iniciação Científica da UFPR.Representação de Conhecimento Usando Fórmulas Lógicas Proposicionais em NNF. 2006. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Maratona de Programação - Regionais. 2017. .

2.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2017. .

3.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Maratona de Programação - Regionais. 2016. .

4.
Ribas, Bruno Cesar; CAMPOS, C. P. ; FERREIRA, C. E. . Final Brasileira da Maratona de Programação. 2016. .

5.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Final Latino Americana da Maratona de Programação. 2016. .

6.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2015. .

7.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2014. .

8.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2013. .

9.
Ribas, Bruno Cesar; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2012. .



Orientações



Orientações e supervisões concluídas
Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Jean Valdir Buzzello. SISTEMA COLABORATIVO PARA IDENTIFICAÇÃO DE FOCOS DO MOSQUITO AEDES AEGYPTI. 2017. Monografia. (Aperfeiçoamento/Especialização em Especialização em bancos de dados: Administração e Desenvolvimento) - Universidade Tecnológica Federal do Paraná. Orientador: Bruno César Ribas.

Trabalho de conclusão de curso de graduação
1.
Matheus Kowalczuk Ferst. Implementação de comunicação segura com Modbus e TLS. 2018. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Bruno César Ribas.

2.
Vagner Kaefer dos Santos. AMBIENTE DE EXECUÇÃO DISTRIBUÍDA UTILIZANDO SISTEMA DE DIAGNÓSTICO INSTANTÂNEO E CONTÊINERES. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Bruno César Ribas.

3.
Hamilton Roth Filho. UDP HOLE PUNCHING: UMA ABORDAGEM PARA RESTAURAR A TRANSPARÊNCIA NA INTERNET. 2017. Trabalho de Conclusão de Curso. (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná. Orientador: Bruno César Ribas.




Página gerada pelo Sistema Currículo Lattes em 20/01/2019 às 7:53:50