research line of
- Engenharia de Software Grupo de Pesquisa
- Formal methods, Artificial Intelligence, and Logic in Computer Science (FRAME) Grupo de Pesquisa
- GEATC - Grupo de Estudos e Aplicações de Teoria da Computação Grupo de Pesquisa
- Grupo de Práticas de Software Grupo de Pesquisa
- Laboratório de Sistemas Distribuídos (LaSiD) Grupo de Pesquisa
- Lógica, Inteligência Artificial e Métodos Formais Grupo de Pesquisa
- Métodos Formais e Fundamentos Matemáticos da Ciência da Computação Grupo de Pesquisa
- NUPEC - Núcleo de Pesquisa e Extensão em Computação do Delta do Parnaíba Grupo de Pesquisa
- Nu[TeC]² : Núcleo de estudos em Técnicas e Teoria da Computação Grupo de Pesquisa