Teoria da Computação e Computação Científica - TC - Computabilidade e Modelos de Computação
- Linguagem Formais e Autômatos - Análise de Algoritmos e Complexidade de Computação
- Lógicas e Semântica de Programas
- Modelos Analíticos e de Simulação
- Métodos Numéricos
Metodologia e Técnicas de Computação - MT
- Sistemas de Informação
- Linguagens de Programação
- Engenharia de Software
- Banco de Dados
- Processamento Gráfico
Sistemas de Computação - SC
- Modelos e Arquiteturas para Sistemas Inteligentes
- Redes e Sistemas Distribuídos
- Informática, Educação e Sociedade
- Arquitetura de Sistemas de Computação
- Software Básico
- Teleinformática