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.
Interests
- Automated Planning
- SAT and correlated problems
- Formally verified and provably correct AI
- Symbolic and Discrete Mathematics
- Formal Language Theory
- Free Software Movement
Contact
Send me a mail | GitHub | Linkedin | Lattes