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
_{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 B.Sc. GitHub	Arthur Grandão de Mello B.Sc. links to add	Felipe Borges de Souza Chaves B.Sc. GitHub	Gabriel Marques Tiveron B.Sc., IC GitHub
Guilherme Puida Moreira B.Sc. GitHub · LinkedIn	Lucas Gomes Silva B.Sc. GitHub	Luís Henrique Pereira Taira B.Sc. GitHub	Ulysses Bernard Mendes Lara B.Sc. links to add

Automated Planning

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

CD-MOJ & Competitive Programming

Caio Martins Ferreira B.Sc. links to add

Davi Antônio da Silva Santos IC GitHub

Lucas Gomes Caldas B.Sc. links to add

Luciano dos Santos Silva B.Sc. GitHub

Artificial Intelligence (broad)

Bruno Gomes Resende M.Sc. links to add

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.