| Keyword |
Branch |
Code |
Acronym |
Name |
Credits |
Mandatory |
| Informatics |
|
CC5014 |
NA |
Network Analysis |
6 |
|
| Informatics |
|
CC5010 |
CD |
Distributed Computing |
6 |
|
| Informatics |
|
CC5011 |
QC |
Quantum Computing |
6 |
|
| Informatics |
|
CC5012 |
CIS |
Cryptography and Information Security |
6 |
|
| Informatics |
|
CC5015 |
KDD |
Knowledge Discovery from Data Bases |
6 |
|
| Informatics |
|
CC5021 |
GSE |
Green Software Engineering |
6 |
|
| Informatics |
|
CC5009 |
AIE |
Advanced Information Extraction |
6 |
|
| Informatics |
|
CC596 |
FAML |
Foundations and Applications of Machine Learning |
6 |
|
| Informatics |
|
CC598 |
AAI |
Advanced Artificial Intelligence |
6 |
|
| Informatics |
|
CC597 |
PL |
Program Logics |
6 |
|
| Informatics |
|
CC5013 |
MCMSD |
Algebraic and Coalgebraic Methods in Software Development |
6 |
|
| Informatics |
|
CC5017 |
CC5017 |
Thesis Proposal |
30 |
Yes |
| Informatics |
|
CC5005 |
IR |
Intelligent Robotics |
6 |
|
| Informatics |
|
CC5016 |
CC5016 |
Seminar |
12 |
Yes |
| Informatics |
|
CC594 |
ABI |
Adaptive Business Intelligence |
6 |
|
| Informatics |
|
CC5019 |
CC5019 |
Ciberphysical Systems and Internet of Things |
6 |
|
| Informatics |
|
CC5022 |
SdCI |
Interactive Computing Systems |
6 |
|
| Informatics |
|
CC5007 |
SSP |
Successful Systems in Production |
6 |
|
| Informatics |
|
CC593 |
CC593 |
Software Verification Technology and Tools |
6 |
|
| Informatics |
|
CC701 |
CC701 |
Thesis |
180 |
Yes |
| Informatics |
|
CC595 |
ST |
Software Testing |
6 |
|
| Informatics |
|
CC5008 |
CV |
Computer Vision |
6 |
|