The Computing Science programme consists of 10 courses plus a Master’s thesis. To ensure that you coherently build up your courses towards your Master's thesis, you can choose one of the following tracks:
Track title: Programming Technology
Programming languages that we use have direct consequence on our productivity as well as the reliability of the software we produce. The provided abstraction matters a lot as well as the degree of the correctness control that a language imposes. This track focuses on advanced techniques related to programming languages, transformation and analysis of programs, and the verification of their correctness. Track courses typically include Advanced functional programming, Automatic program analysis, Program semantics and verification, Technologies for learning.
Track title: Algorithm Design and Analysis
To automate life, we build software to solve problems such as how to reach one place from another and how to schedule busses and trains. In essence, a piece of software is an algorithm to solve a problem. This track focuses on the design and analysis of advanced and scalable algorithms to solve complex problems. Track courses typically include Algorithms and Networks, Geometric Algorithms, Scheduling and Timetabling, Optimization for Sustainability, Network Science.
Track title: Operations Research
Operations Research (OR) deals with the application of advanced analytical methods to help make better decisions. Applications occur in e.g. (public) transportation, logistics, energy networks, healthcare, computer networks and education. Being prescriptive analysis it is part of data science. In this track you learn advanced algorithms as well as data mining and machine learning techniques to solve real-life decision and optimization problems.
Track courses typically include Optimization for Sustainability, Scheduling and Timetabling, Algorithms and Networks, Data Mining, Pattern Recognition. This track also welcomes students with a bachelor in Mathematics. Furthermore there is the option to follow selected courses from Mastermath.
Track title: Algorithmic Data Analysis
Nowadays, people collect massive amount of data about various aspects of their lives. Many useful and interesting things can be learned by systematically analysing such data; this track focuses on advanced and state-of-the-art techniques to do this. Track courses typically include Data mining, Multimedia retrieval, Pattern recognition, Pattern set mining, Massive Data Analysis & Data Intensive System. Students will also select five electives.