research line of
- Estudos em Linguística de Corpus Grupo de Pesquisa
- Lingüística Computacional Grupo de Pesquisa
- Logprob: Lógica e Probabilidade Grupo de Pesquisa
- Lógica, Inteligência Artificial e Métodos Formais Grupo de Pesquisa
- Núcleo de Estudos em Sistemas Complexos Grupo de Pesquisa
- Sistemas de Hardware e Software Grupo de Pesquisa