Bruno César Ribas
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 de Brasília. 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, satisfatibilidade e cloud computing.
Informações coletadas do Lattes em 11/02/2026
Acadêmico
Formação acadêmica
Doutorado em Informática
2011 - 2015
Universidade Federal do Paraná
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. Fabiano Silva. Palavras-chave: satisfatibilidade; CNF; pseudo-Boolean; Programação Linear.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação.
Mestrado em Informática
2009 - 2011
Universidade Federal do Paraná
Título: Satisfatibilidade Não-Clausal Restrita às Variáveis de Entrada
, Ano de Obtenção: 2011.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 TerraGrande Á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.
Graduação em Bacharelado em Ciência da Computação
2004 - 2008
Universidade Federal do Paraná
Título: Entendendo a Tecnologia para Resolver Problemas NP-completo Dentro de SAT
Orientador: Fabiano Silva
Bolsista do(a): Funpar, FUNPAR, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Razoavelmente.
Russo
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.
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.
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 / Subárea: Matemática da Computação/Especialidade: Matemática Simbólica.
Organização de eventos
MEZA, F. ; FERREIRA, C. E. ; Ribas, Bruno Cesar . The 2025 ICPC Latin America Championship. 2025. .
MEZA, F. ; FERREIRA, C. E. ; Ribas, Bruno Cesar . The 2024 ICPC Latin America Championship. 2024. .
FERREIRA, C. E. ; Ribas, Bruno Cesar ; SANTOS, V. . XXIX Maratona de Programação - 2024 - 1a fase do Brasil. 2024. .
MEZA, F. ; FERREIRA, C. E. ; Ribas, Bruno Cesar . The 2024 ICPC Latin America Contests. 2024. .
FERREIRA, C. E. ; Ribas, Bruno Cesar ; SANTOS, V. . XXVIII Maratona de Programação - 2023 - 1a fase do Brasil. 2023. .
MEZA, F. ; FERREIRA, C. E. ; Ribas, Bruno Cesar . The 2023 ICPC Latin America Contests. 2023. .
FERREIRA, C. E. ; Ribas, Bruno Cesar ; SANTOS, V. . XXVII Maratona de Programação - 1a fase do Brasil. 2022. .
MEZA, F. ; FERREIRA, C. E. ; Ribas, Bruno Cesar . Maratona de Programação - Final Latino Americana. 2022. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; SANTOS, V. ; AZEVEDO, R. . XXVI Maratona de Programação - 1a fase do Brasil. 2021. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; MEZA, F. . Maratona de Programação - Final Latino Americana. 2021. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; SANTOS, V. ; AZEVEDO, R. . XXV Maratona de Programação - 1a fase do Brasil. 2020. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; MEZA, F. . Maratona de Programação - Final Latino Americana. 2020. .
Ribas, Bruno Cesar ; FERREIRA, C. E. . Maratona de Programaçao - Regionais do Brasil. 2019. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; MEZA, F. . Maratona de Programação - Final Latino Americana. 2019. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Maratona de Programação - Regionais. 2018. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Maratona de Programação - Final Latino Americana. 2018. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Maratona de Programação - Regionais. 2017. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2017. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Maratona de Programação - Regionais. 2016. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Final Latino Americana da Maratona de Programação. 2016. .
Ribas, Bruno Cesar ; CAMPOS, C. P. ; FERREIRA, C. E. . Final Brasileira da Maratona de Programação. 2016. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2015. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2014. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2013. .
Ribas, Bruno Cesar ; FERREIRA, C. E. ; CAMPOS, C. P. . Final Brasileira da Maratona de Programação. 2012. .
Participação em eventos
II Fórum de Tecnologia em Software Livre. SDI ? Um Sistema de Diagnóstico Instantâneo. 2008. (Congresso).
8º Fórum Internacional Software Livre. 2007. (Congresso).
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).
Participação em bancas
Castilho, Marcos A.; Silva, Fabiano;Ribas, Bruno Cesar. PLANEJAMENTO SEMI-AUTÔNOMO: UMA NOVA ABORDAGEM PARA A SEGMENTAÇÃO DE PLANOS EM AMBIENTES MULTIAGENTE. 2020. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.
Ribas, Bruno Cesar; BARBOSA, M. A. C.. 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á.
Ribas, Bruno Cesar; POLA, I. R. V.. 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á.
FAVARIM, F.; PEDROZO, W. G.;Ribas, Bruno Cesar. Estudo, Projeto e Implantação de Telefonia VOIP na UTFPR. 2013 - Universidade Tecnológica Federal do Paraná.
RIBEIRO, R.;Ribas, Bruno Cesar; BARBOSA, M. A. C.. 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á.
PEDROSA, G.;Ribas, Bruno Cesar; GHARDENGI, J. L.. Sumarização Extrativa de Comentários em Contexto de Big Data: Um Estudo de Caso sobre o App Gov.Br. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
GHARDENGI, J. L.;Ribas, Bruno Cesar; PEDROSA, G.. AssinApp: Aplicativo mobile para assinatura digital de documentos. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
GHARDENGI, J. L.;Ribas, Bruno Cesar; PEDROSA, G.. AssinApp: Aplicativo mobile para assinatura digital de documentos. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
GHARDENGI, J. L.;Ribas, Bruno Cesar; ALVES, T.. UnBSign: Desenvolvimento de uma API de Assinatura Digital Integrada a Web e PKI. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.;Ribas, Bruno Cesar; FRAGELLI, R. R.. Manutenção e Evolução do Labirinto do Rato Cego. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
ALVES, T.;Ribas, Bruno Cesar; BARBOSA, J. A. C.. CRYSTALS-Dilithium: Uma Abordagem Pós-Quântica para o Fluxo do código de Autorização do Open Finance. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
ALVES, T.; CRUZ, F. W.;Ribas, Bruno Cesar. WireGuard Pós-Quântico: Integração de ML-KEM e ML-DSA com Curve25519 para Segurança Híbrida. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
ALVES, T.; CRUZ, F. W.;Ribas, Bruno Cesar. WireGuard Pós-Quântico: Integração de ML-KEM e ML-DSA com Curve25519 para Segurança Híbrida. 2025. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
Ribas, Bruno Cesar; VELASCO, L. N.; SAMPAIO, R. C.. COMPUTAC?A?O BIOINSPIRADA PARA RECOMENDAÇÃO DE CONTRATOS DE ENERGIA ELÉTRICA. 2024. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
Ribas, Bruno Cesar; COSTA JUNIOR, E. A.; BORGES, V. R. P.. OJTRACKER: EVOLUÇÃO DA APLICAÇÃO COM FOCO NO SUPORTE A TÉCNICOS. 2024. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
ALVES, T.;Ribas, Bruno Cesar; LIMA, D. S.. OTIMIZANDO SIMULADOR RISC-V PARA AMBIENTE DE LINHA DE COMANDO. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.; BORGES, V. R. P.;Ribas, Bruno Cesar. OJTRACKER: UMA APLICAÇÃO PARA ACOMPANHAMENTO PESSOAL EM JUÍZES ONLINE. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.;Ribas, Bruno Cesar; NUNES, D. S. N.. GAMMA ONLINE JUDGE: DESENVOLVIMENTO DE UMA PLATAFORMA PARA REALIZAÇÃO DE CONTESTS BASEADOS NA MARATONA UNB DE PROGRAMAÇÃO. 2023.
GHARDENGI, J. L.;Ribas, Bruno Cesar; PEDROSA, G.. DESENVOLVIMENTO DE INTEROPERABILIDADE ENTRE LINGUAGENS PARA O SOLVER ALGENCAN 4.0. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
LIMA, D. S.;Ribas, Bruno Cesar; GHARDENGI, J. L.. Predição de tempo de execução de código em funções Lambda. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
GHARDENGI, J. L.;Ribas, Bruno Cesar; LIMA, D. S.. Criação de um sistema para alocação de salas. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
GHARDENGI, J. L.;Ribas, Bruno Cesar; COSTA JUNIOR, E. A.. O uso da estratégia de aceleração em métodos sem derivadas para a resolução de sistemas não lineares. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
GHARDENGI, J. L.;Ribas, Bruno Cesar; COSTA JUNIOR, E. A.. Diferenciação Automática. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.;Ribas, Bruno Cesar; FRAGELLI, R. R.. Implementação do Labirinto do Rato Cego usando SDL e C++. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
GHARDENGI, J. L.;Ribas, Bruno Cesar; PEDROSA, G.. Interoperabilidade entre ALGENCAN e Julia. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
CRUZ, F. W.;Ribas, Bruno César; LIMA, D. S.. Um estudo sobre requisitos técnicos para uma biblioteca digital de música brasileira. 2023. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.;Ribas, Bruno Cesar; NUNES, D. S. N.. BROMS: IMPLEMENTAÇÃO DA NOVA APRESENTAÇÃO VISUAL E INTEGRAÇÃO COM BOCA E CODEFORCES. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
SERRANO, M.; SERRANO, M.; CRUZ, F. W.;Ribas, Bruno Cesar. API DE SISTEMAS MATCHMAKING: UM ESTUDO EXPLORATÓRIO ORIENTADO AO PARADIGMA DE SISTEMAS MULTIAGENTES. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.; NUNES, D. S. N.;Ribas, Bruno Cesar. GAMMA ONLINE JUDGE: PROJETO DE CRIAÇÃO DE UMA PLATAFORMA PARA O ARMAZENAMENTO DAS QUESTÕES DAS MARATONAS UNB DE PROGRAMAÇÃO. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
CORAL, R.; AGUIAR, C. S. R.;Ribas, Bruno Cesar. PYTUGA WEB: UMA FERRAMENTA DE APOIO AO ENSINO DE PROGRAMAC?A?O EM PORTUGUE?S. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
BRAZ, F. A.; SILVA, N. C.;Ribas, Bruno Cesar. PASSOS E TECNOLOGIAS UTILIZADAS PARA CRIAÇÃO DE UM SERVIÇO DE TRADUÇÃO AUTOMÁTICA DE IDIOMAS, NUMA INFRAESTRUTURA SEM SERVIDOR. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
BRAZ, F. A.; SILVA, N. C.;Ribas, Bruno Cesar. UTILIZANDO INTELIGÊNCIA ARTIFICIAL PARA MELHORAR A BUSCA POR INFORMAÇÃO EM TEXTOS CIENTÍFICOS. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
NALON, C.; FALHEIROS, T. P.;Ribas, Bruno Cesar. Prova Automática de Teoremas para Lógicas Confluentes. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
NALON, C.;Ribas, Bruno Cesar; FALHEIROS, T. P.. Algoritmos de seleção de cláusulas em prova. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.;Ribas, Bruno Cesar; NUNES, D. S. N.. BROMS: Brazilian Online Marathon Scoreboard. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
CORAL, R.;Ribas, Bruno Cesar; MENDES, F. M.. *Um estudo sobre boas práticas adotadas na documentação de repositórios de software livre. 2021. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
AGUIAR, C. S. R.;Ribas, Bruno Cesar; COSTA JUNIOR, E. A.. A scripting system for game development in Rust. 2020. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
COSTA JUNIOR, E. A.; NUNES, D. S. N.;Ribas, Bruno Cesar. Promoção do Pensamento Computacional no Ensino Médio por Meio do Treinamento para a OBI. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
BERNARDO, M. S.; MENDES, F.;Ribas, Bruno Cesar; CORAL, R.. FRED: Um formato para representação e troca de dados. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
OLIVEIRA, M. A.; ALVES, T.;Ribas, Bruno Cesar. Sistema de Detecção de Intrusão para SGBDs baseado em técnicas de detecção de anomalias em sequências. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
SANTANA, G. S. R.; VITOR, G.;Ribas, Bruno Cesar; GHARDENGI, J. L.. Detecção de Fraudes em Imagens Digitais Usando Abordagem Passiva no Reconhecimento de Adulterações de Conteúdo. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
CUNHA, E. V. A.; CRUZ, F. W.;Ribas, Bruno Cesar; GHARDENGI, J. L.. Um estudo sobre tecnologias descentralizadas e seu potencial de suportar um ambiente de livre mercado resistente a agentes centrais. 2019. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.
BONAFIN, A. C. T.; TEIXEIRA, M.;Ribas, Bruno Cesar. Configuração Dinâmica de geradores distribuídos de energia utilizando técnicas de modelagem e simulação. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.
MASCHIO, D. M. R.; TEIXEIRA, M.;Ribas, Bruno Cesar. Planejamento de capacidade em geração de energia fotovoltaica usando Redes de Petri Estocásticas. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.
MORAIS, W. B.; BARBOSA, M. A. C.;Ribas, Bruno Cesar; CASANOVA, D.. O uso do paralelismo no método colônia de formigas para resolução do problema da cobertura mínima de vértices em grafos massivos. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná.
DOBROVOLSKI, B. M.; TEIXEIRA, M.;Ribas, Bruno Cesar; BARBOSA, M. A. C.. Uma aplicação envolvendo controle supervisório para a coordenação de esteiras concorrentes em linhas de produção industrial. 2017.
SATO, L. C.; CASANOVA, D.;Ribas, Bruno Cesar; FAVARIM, F.; COLAZZOS, K.. Deep Learning na segurança computacional: detecção inteligente de códigos maliciosos. 2017.
DERENIEVICZ, G.;CASTILHO, M. A.SILVA, F.Ribas, Bruno Cesar. 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á.
SILVA, F.Ribas, Bruno Cesar; GUEDES, A. L. P.. 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á.
RUOSO, V. K.; DUARTE JR, E. P.;Ribas, Bruno Cesar; ALMEIDA, C. E.. 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á.
OLIVEIRA, R. T.;SILVA, F.Ribas, Bruno Cesar; GUEDES, A. L. P.. 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á.
WIEL, F. A. V.; SUNYE, M. S.;Ribas, Bruno Cesar; MULLER JUNIOR, B.. 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á.
PEDROSA, G.;Ribas, Bruno Cesar; LIMA, D. S.. SELEÇÃO PÚBLICA SIMPLIFICADA PARA PROFESSOR SUBSTITUTO. 2025. Universidade de Brasília.
CORAL, R.;Ribas, Bruno Cesar; RISSOLI, V. R. V.. SELEÇÃO PÚBLICA SIMPLIFICADA PARA PROFESSOR SUBSTITUTO. 2023. Universidade de Brasília.
Ribas, Bruno CesarSILVA, F.; PEDROSA, G.. Professor do Magistério Superior na UnB campus GAMA. 2022. Universidade de Brasília.
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á.
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á.
Ribas, Bruno Cesar; MARIN, L. O.. Professor do Ensino Básico, Técnico e Tecnológico - EBTT. 2015. INSTITUTO FEDERAL DO PARANA.
Orientou
Inteligência Artificial no MPF: Uma Solução Baseada em IA para Pseudonimização de Dados Pessoais; 2025; Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília, ; Orientador: Bruno César Ribas;
Mineração de dados na previsão de melhor canal de abordagem para próxima melhor ação no relacionamento hiper personalizado com o cliente bancário; 2024; Dissertação (Mestrado em Computação Aplicada) - Universidade de Brasília, ; Orientador: Bruno César Ribas;
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;
INTO THE PDDL: PLANEJAMENTO AUTOMÁTICO ADVERSARIAL; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Modelagem Lógica do Quebra-Cabeça Binairo+; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Planning-Based Game Design: An Architecture for Storyline Tracking; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Optimisation of SAT-Based Planning via Hybrid and Prioritised Asynchronous Binary Search Strategies: An extension of Madagascar Planner; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Optimisation of SAT-Based Planning via Hybrid and Prioritised Asynchronous Binary Search Strategies: An extension of Madagascar Planner; 2025; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
RESOLVENDO XIAN-XIANG COMO PLANEJAMENTO; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
ESCALONAMENTO DE MÚLTIPLAS FILAS NO CD-MOJ; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
CD-MOJ : implementação do módulo de treinamento livre; 2024; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Planejamento Clássico: Otimização do tempo de geração de fórmulas do SATPLAN; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Resolvendo Puzznic através de planejamento automatizado; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Infraplanning: Uma plataforma web para desenvolvimento em PDDL; 2023; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Modificando o SATPLAN06 com outros métodos de busca; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
PluSAT: Um resolvedor SAT modular; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Representação AIG como formato de entrada para o LIAMFSAT; 2022; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Software) - Universidade de Brasília; Orientador: Bruno César Ribas;
Outras produções
Ribas, Bruno Cesar ; CAMPOS, C. P. . Maratona Linux. 2016.
Ribas, Bruno Cesar . CD-MOJ. 2013.
Ribas, Bruno Cesar ; PASQUALIN, D. G. ; RUOSO, V. K. . SDI - Sistema de Diagnóstico Instântaneo. 2008.
Ribas, Bruno Cesar ; SOUZA, J. . netboot-thinclient-media. 2007.
BORGES, V. R. P. ; COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar ; RAMOS, G. N. . MARATONA DE PROGRAMAÇÃO NO DISTRITOFEDERAL. 2022.
COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar ; GHARDENGI, J. L. ; NUNES, D. S. N. . OFICINA DE ELABORAÇÃO E FORMATAÇÃO DEPROBLEMAS DE COMPETIÇÃO. 2022.
COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar . GAME JAM FGA 2022. 2022.
BORGES, V. R. P. ; Ribas, Bruno Cesar ; COSTA JUNIOR, E. A. ; RAMOS, G. N. . Preparatório para a Olimpíada Brasileira de Informática 2023 - Nível 1. 2022.
BORGES, V. R. P. ; RAMOS, G. N. ; Ribas, Bruno Cesar ; COSTA JUNIOR, E. A. . Preparatório para a Olimpíada Brasileira de Informática de 2023 - Nível 2. 2022.
BORGES, V. R. P. ; COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar . GRUPO DE ESTUDOSEM PROGRAMAÇÃO COMPETITIVA - NÍVEL AVANÇADO. 2021.
BORGES, V. R. P. ; COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar . GRUPO DE ESTUDOSEM PROGRAMAÇÃO COMPETITIVA - NÍVEL INICIANTE. 2021.
BORGES, V. R. P. ; COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar . GRUPO DE ESTUDOSEM PROGRAMAÇÃO COMPETITIVA - NÍVEL INTERMEDIÁRIO. 2021.
COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar ; GHARDENGI, J. L. ; NUNES, D. S. N. . PROBLEMAS PARACOMPETIÇÕES DE PROGRAMAÇÃO: ELABORAÇÃO E FORMATAÇÃO. 2021.
RAMOS, G. N. ; COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar ; NUNES, D. S. N. . IX MARATONA UNB DEPROGRAMAÇÃO. 2021.
COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar . VIII Maratona UnB de Programação. 2020.
COSTA JUNIOR, E. A. ; Ribas, Bruno Cesar . Semana Universitária FGA 2020. 2020.
Histórico profissional
Endereço profissional
-
Universidade de Brasília, Campus Gama. , Área Especial de Indústria Projeção A - UNB, Setor Leste (Gama), 72444240 - Brasília, DF - Brasil, Telefone: (61) 31078901, URL da Homepage:
Experiência profissional
2023 - Atual
Universidade de Brasília, UnBVínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.
2019 - 2023
Universidade de Brasília, UnBVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
09/2021
Ensino, Computação Aplicada, Nível: Pós-GraduaçãoDisciplinas ministradas, Algoritmos e Estrutura de Dados, Mineração de Dados Massivos
-
03/2019
Ensino, Engenharia de Software, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Programação de Computadores, Compiladores 1, Fundamentos de Sistemas Operacionais, Estrutura de Dados 2
2015 - 2019
Universidade Tecnológica Federal do ParanáVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
2012 - 2015
Universidade Tecnológica Federal do ParanáVínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.
2012 - 2012
Universidade Tecnológica Federal do ParanáVínculo: Colaborador, Enquadramento Funcional: Professor Temporário, Carga horária: 40
Atividades
-
10/2015 - 01/2019
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Estruturas de Dados 1, Segurança Computacional
-
10/2012 - 10/2015
Ensino, Engenharia da Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Estrutura de Dados I, Sistemas Operacionais
-
04/2012 - 10/2012
Ensino, Engenharia de Computação, Nível: GraduaçãoDisciplinas ministradas, Algoritmos e Estrutura de Dados I, Sistemas Operacionais
2004 - 2012
Universidade Federal do ParanáVínculo: Bolsista, Enquadramento Funcional: Bolsista, Carga horária: 20
Atividades
-
10/2004
Pesquisa e desenvolvimento, Departamento de Informática.Linhas de pesquisa
-
08/2010 - 03/2012
Extensão universitária , Departamento 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 , Departamento 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 , Departamento de Informática - C3SL.Atividade de extensão realizada, Participação do Projeto Paraná Digital.
-
12/2006 - 12/2007
Extensão universitária , Departamento 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.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Bruno César Ribas 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?