research line of
- Algoritmos, Otimização e Combinatória Grupo de Pesquisa
- Combinatória Discreta Grupo de Pesquisa
- CompBioTech Lab (CBT-L) Grupo de Pesquisa
- Computação Científica Grupo de Pesquisa
- GMTC - Grupo de Pesquisa em Modelos Teóricos e Cognitivos Grupo de Pesquisa
- Informática e Tecnologia da Informação Aplicadas Grupo de Pesquisa
- Métodos Formais e Fundamentos Matemáticos da Ciência da Computação Grupo de Pesquisa