Programme Description

Software systems play an important, although often invisible, role in society. For example in the information systems of banks and insurance companies, in the embedded software in a television or a copier, in Internet search engines or in the software that controls the electricity grid. There is a huge demand for efficient and reliable software systems. The complexity of many of these systems is an important and intriguing problem, especially in the common situation of multiple communicating systems operating in parallel.

Cooperation with Manipal University

The Department of Mathematics and Computer Science also offers a dual degree program in cooperation with the Manipal University in India. The program is a two-year program. Students follow one year of the program at Manipal University and one year at Eindhoven University of Technology. Students who succesfully complete the program receive the degree of both universities.

The emphasis in the Master´s degree program in Computer Science and Engineering is placed on the design of highquality software. During the Master´s program you will learn to combine a scientific attitude with an engineer´s approach. Defining reliable protocols for the behavior of complex software systems requires a knowledge of algorithms, performance, hardware, and design and documentation methods.

You will also need an understanding of the variability and maintainability of these protocols. All these aspects can be found in the compulsory part of the Master´s program, which consists of three elements. In Theory you will work on programming and modal logic, proving with computer assistance and information security. System engineering focuses on software architecting, software testing, and requirement analysis, design and verification. And finally Program design consists of intelligent systems, real-time architectures and probabilistic algorithms.