• Home
• Research
• Publications
• Supervision
• Teaching

Contact

Universidade de Brasília
Campus Universitário Darcy Ribeiro
Departamento de Matemática
Brasília - DF
70910-900, Brasil
dnantes[at]unb.br

Current Students

1. Daniella Santaguida Magalhães[ 1/2021- now]
• MSc. in Mathematics
2. Gabriela de Souza Ferreira [ 1/2021-now]
• MSc. in Mathematics
3. Leonardo Melo Batista[1/2020-now]
• MSc. in Mathematics
4. Ali Khãn Ribeiro [2/2020- now]
• MSc. in Mathematics

Former Students

1. Bruno Falcão [2021]
• Scientific Initiation: PICME
• Research Report: Uma construção axiomática dos naturais.
2. Vinícius Sugimoto [2020]
• Scientific Initiation: PICME
• Research Report: Definição de uma gramática de termos usando Coq
3. Andrés Gonzalez (MSc. in Mathematics)
• Dissertation title: Completion on Rewriting Systems via Linear Maps
4. Deivid Vale (MSc. in Mathematics)
• Dissertation title: Nominal Disunification
5. Bruno Delboni (MSc. in Mathematics)
• Dissertation title: Unificação Assimétrica módulo operadores nilpotentes