Master Computer Science & Engineering

Software Science stream

Innovative software systems are the driving force behind many exciting developments in society, industry, and science. However, designing software systems that function correctly, efficiently and securely, is far from easy. The CSE stream Software Science focuses on the formal techniques and technology you need for this. You learn model-driven engineering techniques to increase the quality of computer programs. As a graduate of the stream Software Science, you

• have in-depth knowledge of techniques needed to model and design efficient and reliable software
• understand the strengths and weaknesses of these techniques and can apply them in the appropriate situation, taking limitations of cost, time, and other resources into account
• can analyze existing software systems and understand the fundamental issues involved in software maintenance

Core Courses