No ano letivo 2016/2017, as unidades curriculares que compõem a oferta formativa da UC Seminário de Investigação são:
| ÁREA | UNIDADE CURRICULAR | SEMESTRE |
|---|---|---|
|
Bioinformática |
Algoritmos para Análise de Sequências Biológicas | 1º |
| Laboratórios de Bioinformática | ||
| Algoritmos Avançados de Bioinformática | 2º | |
| Extração de Conhecimento de Bases de Dados Biológicas | ||
| Business Intelligence (resp. Orlando Belo) |
Sistemas Operacionais | 1º |
| Data Warehousing | ||
| Processamento Analítico de Dados | 2º | |
| Análise de Dados | ||
| Computação Gráfica (resp. António Fernandes) |
Visualização e Iluminação I | 1º |
| Visão por computador | ||
| Visualização e Iluminação II | 2º | |
| Tecnologias e Aplicações | ||
| Computação Paralela e Distribuída (resp. Alberto Proença) |
Arquiteturas Avançadas | 1º |
| Algoritmos Paralelos | ||
| Engenharia dos Sistemas de Computação | 2º | |
| Paradigmas de Computação Paralela | ||
| Engenharia de Aplicações (resp. António Sousa) |
Arquiteturas Aplicacionais | 1º |
| Administração de Bases de Dados | ||
| Infraestruturas de Centro de Dados | 2º | |
| Sistemas Interactivos | ||
| Tecnologias e Protocolos de Rede | 1º | |
| Gestão de Redes | ||
| Redes Multi-Serviços | 2º | |
| Sistemas e Serviços Multimédia | ||
| Engenharia de Requisitos | 1º | |
| Arquiteturas de Software | ||
| Gestão do Processo de Software | 2º | |
| Engenharia Web | ||
| Métodos Formais em Engenharia de Software (resp. José Nuno Oliveira) |
Especificação e Modelação | 1º |
| Análise e Teste de Software | ||
| Arquitetura e Cálculo | 2º | |
| Verificação Formal | ||
| Sistemas Distribuídos e Criptografia (resp. Carlos Moreno) |
Criptografia e Segurança da Informação | 1º |
| Paradigmas de Sistemas Distribuídos | ||
| Segurança de Sistemas Informáticos | 2º | |
| Sistemas Distribuídos Confiáveis | ||
| Sistemas Inteligentes (resp. Paulo Novais) |
Agentes Inteligentes | 1º |
| Aprendizagem e Extração de Conhecimento | ||
| Computação Natural | 2º | |
| Sistemas Autónomos |
»
