Bruno Campos Ribeiro

About

Welcome! I am Bruno Ribeiro, a bachelor in Software Engineering at the University of Brasília. I am mainly interested in solving optimisation problems, especially with automated planning. I am part of the UnB SAT Planning Group.

Interesses

• Automated Planning
• SAT and correlated problems
• Formally verified and provably correct AI
• Symbolic and Discrete Mathematics
• Formal Language Theory
• Free Software Movement

Publications

1. "Mojified Pacman: A Deterministic and Fully Observable Variant for PDDL Modeling Competitions", KEPS - ICAPS, 2025.
2. "bni: A PDDL to C compiler with integrated REPL for interactive testing", ENIAC - BRACIS, 2025.

Contact

Send me a mail | GitHub | Linkedin | Lattes