Master Computer Science & Engineering

Systems Science stream

High-tech systems are defined by a tight interaction between physical systems and computing systems. They are often called “Cyber-Physical Systems”. They are characterized by complex architectures and complex interactions between physical sensors and actuators control, computation, and communication. In the CSE stream Systems Science you study these new technologies and the process to develop them. Protocols, interfaces and algorithms need to be designed to improve (energy) efficiency and automation. Larger systems are never built from scratch anymore, but composed from existing building blocks. An understanding of the essential structures and behaviors of a system - the architecture, laid down in models - is therefore essential. Models are further used to validate often using mathematically based methods and monitor required qualities (reliability, robustness, safety, security and privacy), and to drive the implementation. Experimentation and on- line methods (like self-monitoring) are essential ingredients. As a student graduating in the stream Systems Science you

  • are familiar with the architectures and architectural principles of large-scale software systems
  • are capable to apply complex model-based methods required for the rigorous functional and quantitative analysis of system behaviors
  • understand the role of software—foundations as well as processes and tools—in its interaction with hardware and sensors in large-scale software-intensive systems.

Core Courses

The mandatory course

Quarter Code Course EC
1 2IMA10 Advanced algorithms 5

Stream mandatory courses

Quarter Code Course EC
1 2IMF30 System validation 5
2 2IMN15 Internet of things 5
2 2IMF25 Automated reasoning 5
3 2IMN20 Real-time systems 5

Stream electives

You have to choose at least 20 credit points from this list.

Quarter Code Course EC
1 2IMN10 Architeceture of distributred systems 5
1 2IMF20 Hardware verification 5
2 2IMN25 Quantative evaualtion of embedded systems 5
3 2IMF35 Algorithms for model checking 5
3 2IMS15 Verification of security protocols 5
3 2IMN35 VLSI Programming 5
4 2IMC20 Research methods 5

Free electives

(possibly including internship): 40 EC
Seminar and master project: 35 EC

Quarter Code Course EC
4 or 6 Seminar 5
7 and 8 2IMC00 Master project 30