
Year 
Semester 
Code 
Curricular unit 
Scientific area 
ECTS credits 
Option 1  

1 
S2 
11480 
Program Verification and Semantics 
I 
6 

1 
S2 
11481 
Cloud Computing 
I 
6 

1 
S2 
11482 
Programming Languages and Compiler Design 
I 
6 

1 
S2 
11483 
Network Engineering 
I 
6 

1 
S2 
11484 
Programming Paradigms 
I 
6 

1 
S2 
11485 
Parallel and Distributed Computing 
I 
6 

1 
S2 
11486 
Communication Protocols 
I 
6 

1 
S2 
11487 
Information Security 
I 
6 

1 
S2 
11488 
Secure Software Systems 
I 
6 

1 
S2 
11489 
Cloud and Data Center Technologies 
I 
6 

1 
S2 
11490 
Computer Animation 
I 
6 

1 
S2 
11491 
Machine Learning and Data Mining 
I 
6 

1 
S2 
11492 
Bioinformatics 
I 
6 

1 
S2 
11493 
Image and Video Coding 
I 
6 

1 
S2 
11494 
Interactive and Gpu Computing 
I 
6 

1 
S2 
11495 
Computational Intelligence 
I 
6 

1 
S2 
11497 
Software/Hardware Interface 
I 
6 

1 
S2 
11498 
Technologies of Video Games 
I 
6 

1 
S2 
11499 
Computer Vision 
I 
6 

1 
S2 
11535 
Natural Language Processing 
I 
6 
Option 2  

1 
S2 
11480 
Program Verification and Semantics 
I 
6 

1 
S2 
11481 
Cloud Computing 
I 
6 

1 
S2 
11482 
Programming Languages and Compiler Design 
I 
6 

1 
S2 
11483 
Network Engineering 
I 
6 

1 
S2 
11484 
Programming Paradigms 
I 
6 

1 
S2 
11485 
Parallel and Distributed Computing 
I 
6 

1 
S2 
11486 
Communication Protocols 
I 
6 

1 
S2 
11487 
Information Security 
I 
6 

1 
S2 
11488 
Secure Software Systems 
I 
6 

1 
S2 
11489 
Cloud and Data Center Technologies 
I 
6 

1 
S2 
11490 
Computer Animation 
I 
6 

1 
S2 
11491 
Machine Learning and Data Mining 
I 
6 

1 
S2 
11492 
Bioinformatics 
I 
6 

1 
S2 
11493 
Image and Video Coding 
I 
6 

1 
S2 
11494 
Interactive and Gpu Computing 
I 
6 

1 
S2 
11495 
Computational Intelligence 
I 
6 

1 
S2 
11497 
Software/Hardware Interface 
I 
6 

1 
S2 
11498 
Technologies of Video Games 
I 
6 

1 
S2 
11499 
Computer Vision 
I 
6 

1 
S2 
11535 
Natural Language Processing 
I 
6 
Option 3  

1 
S2 
11480 
Program Verification and Semantics 
I 
6 

1 
S2 
11481 
Cloud Computing 
I 
6 

1 
S2 
11482 
Programming Languages and Compiler Design 
I 
6 

1 
S2 
11483 
Network Engineering 
I 
6 

1 
S2 
11484 
Programming Paradigms 
I 
6 

1 
S2 
11485 
Parallel and Distributed Computing 
I 
6 

1 
S2 
11486 
Communication Protocols 
I 
6 

1 
S2 
11487 
Information Security 
I 
6 

1 
S2 
11488 
Secure Software Systems 
I 
6 

1 
S2 
11489 
Cloud and Data Center Technologies 
I 
6 

1 
S2 
11490 
Computer Animation 
I 
6 

1 
S2 
11491 
Machine Learning and Data Mining 
I 
6 

1 
S2 
11492 
Bioinformatics 
I 
6 

1 
S2 
11493 
Image and Video Coding 
I 
6 

1 
S2 
11494 
Interactive and Gpu Computing 
I 
6 

1 
S2 
11495 
Computational Intelligence 
I 
6 

1 
S2 
11497 
Software/Hardware Interface 
I 
6 

1 
S2 
11498 
Technologies of Video Games 
I 
6 

1 
S2 
11499 
Computer Vision 
I 
6 

1 
S2 
11535 
Natural Language Processing 
I 
6 
Opção 4  

1 
S2 
11480 
Program Verification and Semantics 
I 
6 

1 
S2 
11481 
Cloud Computing 
I 
6 

1 
S2 
11482 
Programming Languages and Compiler Design 
I 
6 

1 
S2 
11483 
Network Engineering 
I 
6 

1 
S2 
11484 
Programming Paradigms 
I 
6 

1 
S2 
11485 
Parallel and Distributed Computing 
I 
6 

1 
S2 
11486 
Communication Protocols 
I 
6 

1 
S2 
11487 
Information Security 
I 
6 

1 
S2 
11488 
Secure Software Systems 
I 
6 

1 
S2 
11489 
Cloud and Data Center Technologies 
I 
6 

1 
S2 
11490 
Computer Animation 
I 
6 

1 
S2 
11491 
Machine Learning and Data Mining 
I 
6 

1 
S2 
11492 
Bioinformatics 
I 
6 

1 
S2 
11493 
Image and Video Coding 
I 
6 

1 
S2 
11494 
Interactive and Gpu Computing 
I 
6 

1 
S2 
11495 
Computational Intelligence 
I 
6 

1 
S2 
11497 
Software/Hardware Interface 
I 
6 

1 
S2 
11498 
Technologies of Video Games 
I 
6 

1 
S2 
11499 
Computer Vision 
I 
6 

1 
S2 
11535 
Natural Language Processing 
I 
6 
Option (1/2) 5  

1 
S2 
11480 
Program Verification and Semantics 
I 
6 

1 
S2 
11481 
Cloud Computing 
I 
6 

1 
S2 
11482 
Programming Languages and Compiler Design 
I 
6 

1 
S2 
11483 
Network Engineering 
I 
6 

1 
S2 
11484 
Programming Paradigms 
I 
6 

1 
S2 
11485 
Parallel and Distributed Computing 
I 
6 

1 
S2 
11486 
Communication Protocols 
I 
6 

1 
S2 
11487 
Information Security 
I 
6 

1 
S2 
11488 
Secure Software Systems 
I 
6 

1 
S2 
11489 
Cloud and Data Center Technologies 
I 
6 

1 
S2 
11490 
Computer Animation 
I 
6 

1 
S2 
11491 
Machine Learning and Data Mining 
I 
6 

1 
S2 
11492 
Bioinformatics 
I 
6 

1 
S2 
11493 
Image and Video Coding 
I 
6 

1 
S2 
11494 
Interactive and Gpu Computing 
I 
6 

1 
S2 
11495 
Computational Intelligence 
I 
6 

1 
S2 
11497 
Software/Hardware Interface 
I 
6 

1 
S2 
11498 
Technologies of Video Games 
I 
6 

1 
S2 
11499 
Computer Vision 
I 
6 

1 
S2 
11535 
Natural Language Processing 
I 
6 