Transition programmes for RU students with a completed bachelor in AI
For students of Artificial Intelligence, there are transition programmes for enrolment in different master programmes/specialisations.
Information Sciences
For AI students who want to enrol in the Master Information Sciences, the pre-Master's programme is equivalent to the Minor Business Administration for Computing Science.
Data Science
AI-students who want to enrol in the specialisation Data Science of the Master Computing Science are directly eligible. No transition programme applies.
Software Science
For AI-students who want to enrol in the specialisation Software Science of the Master Computing Science, the following transition programme applies.
| Mandatory courses (18 EC) | Quarter |
|---|---|
| - NWI-IBC040 Functional Programming (6 EC) | Q1-Q2 |
| - NWI-IBC027 Algorithms and Data Structures (6 EC) | Q1-Q2 |
| - NWI-IPC002 Languages and Automata (3 EC) | Q3 |
| - NWI-IBC024 Software Verification (3 EC) | Q3 |
| Restricted electives (choose 6 out of the following 12 ec) | Quarter |
| - NWI-IBC003 Computability (3 EC) | Q3 |
| - NWI-IBC026 Semantics and Correctness (3 EC) | Q3 |
| - NWI-IBC025 Semantics and Rewriting (3 EC) | Q4 |
| - NWI-IBC042 Parallel Programming (3 EC) | Q4 |
Cyber Security
For AI-students who want to enrol in the specialisation Cyber Security of the Master Computing Science, the following transition programme applies.
| Choose 24 out of 30 ec | Quarter |
|---|---|
| - NWI-IPC021 Security (6 EC) | Q1-Q2 |
| - NWI-IBC027 Algorithms and Data Structures (6 EC) | Q1-Q2 |
| - NWI-IPC002 Languages and Automata (3 EC) | Q3 |
| - NWI-IBC003 Computability (3 EC) | Q3 |
| - NWI-IBC026 Semantics and Correctness (3 EC) | Q3 |
| - NWI-IBC023 Introduction to Cryptography (6 EC) | Q3+Q4 |
| - NWI-IBC025 Semantics and Rewriting (3 EC) | Q4 |
MFoCS
For AI-students who want to enrol in the specialisation Mathematical Foundations of the Master Computing Science, the following transition programme applies.
| Mandatory courses (24 ec) | Quarter |
|---|---|
| - NWI-IBC040 Functional Programming (6 EC) | Q1-Q2 |
| - NWI-IPC002 Languages and Automata (3 EC) | Q3 |
| - NWI-IBC003 Computability (3 EC) | Q3 |
| - NWI-IBC026 Semantics and Correctness (3 EC) | Q3 |
| - NWI-IBC024 Software Verification (3 EC) | Q3 |
| - NWI-IBC025 Semantics and Rewriting (3 EC) | Q4 |
| - NWI-IBC028 Complexity (3 EC) | Q4 |