Grande área: Ciências Exatas e da Terra
Área: Matemática
Sub-área: Matemática Aplicada
Especialidade: Lógica Formal
CTIT UFMG