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
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 |