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

Bandeira representando o idioma Inglês

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

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

Aluno: CASSIO HENRIQUE DE MELLO PAIVA PEREIRA

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á.

Aluno: Mariany A

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á.

Aluno: Gilvano Piontkoski

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á.

Aluno: Tarlis Torteli Portela

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á.

Aluno: Rafael Mocelin

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á.

Aluno: Henrique Amorim Costa Melo

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.

Aluno: Arthur Talles de Sousa Cunha

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.

Aluno: Eduardo Gurgel Pereira de Carvalho

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.

Aluno: Sidney Fernando Ferreira Lemes

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.

Aluno: Hugo Ricardo Souza Bezerra

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.

Aluno: Laís Ramos Barbosa

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.

Aluno: Arthur Taylor de Jesus Popov

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.

Aluno: Mateus Vinícius Ferreira Franco

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.

Aluno: Daniel Porto de Souza

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.

Aluno: João Matheus de Sousa Rodrigues

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.

Aluno: Rodrigo Dadamos Lopes da Silva

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.

Aluno: Thiago Guilherme Muniz Ferreira

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.

Aluno: Joao Pedro Silva de Carvalho

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.

Aluno: Fellipe dos Santos Araujo

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.

Aluno: Lucas Ganda Carvalho e Wíctor Bastos Girardi

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.

Aluno: Paulo Batista da Cruz Junior

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.

Aluno: Sérgio de Almeida Cipriano Júnior

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.

Aluno: Nilvan Peres Costa e Peniel Etèmana Désirez-Jésus Zannoukou

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.

Aluno: Ian Fillipe Pontes Ferreira

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.

Aluno: Maicon Lucas Mares de Souza

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.

Aluno: João Pedro Moura Oliveira e Thiago Sampaio de Paiva

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.

Aluno: Lieverton Santos Silva

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.

Aluno: Saleh Nazih Abdel Kader

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.

Aluno: Gustavo Marques Lima

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.

Aluno: Andrew Lucas Guedes de Souza

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.

Aluno: Geovanne Santos Saraiva

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.

Aluno: Henrique Martins de Messias

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.

Aluno: Boris Marinho Ramos Silva Araujo

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.

Aluno: José Marcos da Silva Leite

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.

Aluno: Rafael Makaha Gomes Ferreira

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.

Aluno: André Filho

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.

Aluno: Pablo Diego Silva da Silva, Rodrigo Oliveira Campos

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.

Aluno: Thiago Rafael Feliz Moreira

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.

Aluno: Matheus de Souza Bernardo

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.

Aluno: Mateus Andreade de Oliveira

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.

Aluno: Guilherme dos Santos Ribeiro Sant'ana

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.

Aluno: Eduardo Vital Alencar Cunha

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.

Aluno: Ana Caroline Tondo Bonafin

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á.

Aluno: Dierli Maiara da Rosa Maschio

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á.

Aluno: Wall Berg Miranda dos Santos Morais

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á.

Aluno: Bruno Manoel Dobrovolski

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.

Aluno: Leonardo Correia Sato

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.

Aluno: Guilherme Derenievicz

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á.

Aluno: Diego Giovane Pasqualin

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á.

Aluno: Vinicius K

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á.

Aluno: Ricardo Tavares de Oliveira

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á.

Aluno: Felipe Augusto Van de Wiel

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

Marcelo Anselmo de Souza Filho

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;

Bruno Gomes Resende

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;

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;

Wagner Martins da Cunha

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;

Guilherme Puida Moreira

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;

Lucas Gobbi Bergholz

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;

Bruno Campos Ribeiro

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;

Igor e Silva Penha

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;

Rodrigo Tiago Costa Lima

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;

LUCAS GOMES CALDAS

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;

Caio Martins Ferreira

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;

Marcelo Martins de Oliveira

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;

Samuel de Souza Buters Pereira

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;

Antonio Ruan Moura Barreto

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;

Mateus Nascimento Nobrega

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;

Felipe Borges de Souza Chaves

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;

Lucas Gomes Silva

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, UnB

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

2019 - 2023

Universidade de Brasília, UnB

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