Focus areas
To compose the first part of your study program:
- Choose one foundational course from the focus area Algorithms & Theory, one foundational course from the focus area Architecture & Systems, and one foundational course from the focus area Software & Analytics (15 credits in total).
- Next to that, choose three extra courses (foundational or deepening) from one focus area (15 credits in total).
You will find your options to choose from in the lists of the focus area courses below
Focus area Algorithms & Theory
A deep mathematical understanding of computation and semantics is indispensable for reasoning about the quality and efficiency of algorithms, data structures and (concurrent) systems. This focus area thus encompasses, for example, improving and understanding trade-offs between algorithm efficiency and quality, exploring and pushing the limits of computation, modelling and (manually, mechanically or fully automatically) verifying computational and/or concurrent systems.
| F/D* | Quarter | Code | Study component | EC |
|---|---|---|---|---|
F | 1 | 2IMA10 | Advanced Algorithms | 5 |
F | 1 | 2IMF25 | Automated Reasoning | 5 |
F | 4 | 2IMF10 | Process Algebra | 5 |
D | 2 | 2IMA15 | Geometric Algorithms | 5 |
D | 2 | 2IMA35 | Massively Parallel Algorithms | 5 |
| D | 3 | 2IMA20 | Algorithms for Geovisualization | 5 |
D | 3 | 2IMF15 | Proving with Computer Assistance | 5 |
| D | 3 | 2IMA25 | Exact Algorithms for NP-hard Problems | 5 |
D | 4 | 2IMA30 | Topological Data Analysis | 5 |
* F = Foundational course, D = Deepening course
Focus area Architecture and Systems
Modern digital systems involve complex interactions between various hardware and software components operating under functional and non-functional requirements. This focus area addresses the understanding and management of the architecture, interactions, behavior, and trade-offs in such systems. In particular, it focuses on the theory and practice for the modeling, design, implementation, analysis and verification of complex networked, embedded, large-scale and data-intensive systems.
| F/D* | Quarter | Code | Study component | EC |
|---|---|---|---|---|
F | 1 | 2IMN10 | Architecture of Distributed Systems | 5 |
F | 1 | 2IMF30 | System Validation | 5 |
F | 2 | 2IMD10 | Engineering of Data Systems | 5 |
D | 2 | 2IMF35 | Algorithms for Model Checking | 5 |
D | 2 | 2IMN15 | Internet of Things | 5 |
D | 2 | 2IMN20 | Real-time Systems | 5 |
D | 3 | 2IMN25 | Quantitative Evaluation of Cyber-Physical Systems | 5 |
* F = Foundational course, D = Deepening course
Focus area Software and Analytics
Software is a key enabler in Computer Science. The development of software should be efficient and result in high-quality software. This focus area addresses the development of high-quality software in an efficient way. It does so by providing knowledge on developing correct software by construction and by combining principles and methodology of software development with analysis of information sources, specifically by mining software repositories to understand the effects of software evolution.
| F/D* | Quarter | Code | Study component | EC |
|---|---|---|---|---|
F | 1 | 2AMI10 | Foundations to Process Mining | 5 |
F | 2 | 2IMP10 | Program Verification Techniques | 5 |
F | 3 | 2IMP25 | Software Evolution | 5 |
D | 1 | 2AMM20 | Research Topics in Data Mining | 5 |
D | 2 | 2IMP40 | Empirical Methods in Software Engineering | 5 |
D | 3 | 2AMD15 | Big Data Management | 5 |
D | 3 | 2IMN30 | Machine Learning for Industry | 5 |
D | 4 | 2IMP30 | System Design Engineering | 5 |
D | 4 | 2IMP20 | Domain Specific Language Design | 5 |
* F = Foundational course, D = Deepening course