People

Table of contents

  1. Principal investigator
  2. Advised students
    1. SAT & Pseudo-Boolean
    2. Automated Planning
    3. CD-MOJ & Competitive Programming
    4. Artificial Intelligence (broad)

Principal investigator

Bruno César Ribas
Bruno César Ribas
Associate Professor, University of Brasília (FCTE, Gama)
Site · ORCID · Scholar · DBLP · ResearchGate · LinkedIn · Lattes · GitHub

Advised students

SAT & Pseudo-Boolean

André Lucas de Sousa Pinto
André Lucas de Sousa Pinto
B.Sc.
GitHub
Arthur Grandão de Mello
Arthur Grandão de Mello
B.Sc.
links to add
Felipe Borges de Souza Chaves
Felipe Borges de Souza Chaves
B.Sc.
GitHub
Gabriel Marques Tiveron
Gabriel Marques Tiveron
B.Sc., IC
GitHub
Guilherme Puida Moreira
Guilherme Puida Moreira
B.Sc.
GitHub · LinkedIn
Lucas Gomes Silva
Lucas Gomes Silva
B.Sc.
GitHub
Luís Henrique Pereira Taira
Luís Henrique Pereira Taira
B.Sc.
GitHub
Ulysses Bernard Mendes Lara
Ulysses Bernard Mendes Lara
B.Sc.
links to add

Automated Planning

André Emanuel Bispo da Silva
André Emanuel Bispo da Silva
B.Sc., IC
GitHub
Antonio Ruan Moura Barreto
Antonio Ruan Moura Barreto
B.Sc.
GitHub
Arthur Ribeiro e Sousa
Arthur Ribeiro e Sousa
B.Sc.
GitHub
Bruno Campos Ribeiro
Bruno Campos Ribeiro
B.Sc., IC
GitHub · Lattes · LinkedIn
Caio Felipe Rocha Rodrigues
Caio Felipe Rocha Rodrigues
B.Sc.
GitHub
Carlos Eduardo Mota Alves
Carlos Eduardo Mota Alves
B.Sc., IC
GitHub
Daniel dos Santos Barros de Sousa
Daniel dos Santos Barros de Sousa
IC
GitHub
Guilherme Antonio Deusdará Banci
Guilherme Antonio Deusdará Banci
B.Sc., IC
GitHub
Guilherme Westphall
Guilherme Westphall
B.Sc.
GitHub
Igor e Silva Penha
Igor e Silva Penha
B.Sc., IC
GitHub
João Luís Takur Baraky Dias
João Luís Takur Baraky Dias
B.Sc.
links to add
Lucas Gobbi Bergholz
Lucas Gobbi Bergholz
B.Sc.
GitHub · Lattes · LinkedIn
Lucas Martins Gabriel
Lucas Martins Gabriel
B.Sc.
GitHub
Marcelo Martins de Oliveira
Marcelo Martins de Oliveira
B.Sc.
links to add
Mateus Nascimento Nóbrega
Mateus Nascimento Nóbrega
B.Sc.
GitHub
Rodrigo Tiago Costa Lima
Rodrigo Tiago Costa Lima
B.Sc.
GitHub
Samuel de Souza Buters Pereira
Samuel de Souza Buters Pereira
B.Sc.
GitHub
Wagner Martins da Cunha
Wagner Martins da Cunha
B.Sc.
GitHub

CD-MOJ & Competitive Programming

Caio Martins Ferreira
Caio Martins Ferreira
B.Sc.
links to add
Davi Antônio da Silva Santos
Davi Antônio da Silva Santos
IC
GitHub
Lucas Gomes Caldas
Lucas Gomes Caldas
B.Sc.
links to add
Luciano dos Santos Silva
Luciano dos Santos Silva
B.Sc.
GitHub

Artificial Intelligence (broad)

Bruno Gomes Resende
Bruno Gomes Resende
M.Sc.
links to add
Marcelo Anselmo de Souza Filho
Marcelo Anselmo de Souza Filho
M.Sc.
links to add

The team is generated from data/students.yml in this repository; run scripts/build_profile.py to update.


UnB-SAT is a research and teaching group, not yet a formally consolidated laboratory at UnB; a proposal to establish the laboratory is planned for the near future. Built with support from Claude (Anthropic).

This site uses Just the Docs, a documentation theme for Jekyll.