The master's programme Computing Science is a two year (120 EC) programme leading to a MSc degree in Informatica. The programme focuses on the application of the latest techniques in the design of modern computer-based systems and offers a variety of courses and individual projects. Computing Science draws upon our expertise in software technology, decision-support systems, network modeling and graphs, planning and scheduling, data mining, and evolutionary computation.

In addition to a common basis, you specialize in one of four tracks:

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.

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.

Advanced planning and decision making
Many tasks in our life involve complex decision making. Capturing the involved decision processes would allow us to automate these tasks. This track focusses on advanced techniques to facilitate clever and effective planning and decision making by software.

Algorithmic data analysis
Nowadays, people collect massive amounts 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.