Áreas de Pesquisa
As linhas de pesquisa do programa são:
- Teoria da Computação
- Sistemas de Informação, e
- Sistemas de Computação.
Na linha de Teoria da Computação são desenvolvidas pesquisas nas áreas de Algoritmos Paralelos e Distribuídos, Bioinformática, Teoria dos Grafos e Combinatória, Teoria de representações de álgebras, Análise de Algoritmos e Complexidade de Computação, Matemática Discreta e Combinatória.
Em Sistemas de Informação desenvolvem-se pesquisas em Engenharia de Software, Visualização de Informações, Interação Homem-Computador e teste de software.
Na linha Sistemas de Computação, as pesquisas são em Redes de Computadores, Segurança e Sistemas Distribuídos.