ST 2024-2025 | Master Computer Science (CS): for students and staff

Academic year 2024-2025

Programme mentors: Petra van den Bos and Mortiz Hahn.

Student

Name:

Student number:

Email address

Is this your first time filling out a course form for this specialization?

Yes
Proceed by filling out the courses below.

No
If you want to change a previously submitted form, please briefly explain your changes in the field below, before proceeding by filling out the course form.

In case you started before this academic year, please fill out the programme form from the academic year you started in (https://www.utwente.nl/en/csc/forms/) instead of this one, especially when indicating changes.
If you started longer than 3 years ago, please contact your programme mentor first.

Brief explanation of the changes you are about to submit:

Is this programme part of a combined Master's programme

Yes

Note. If you are combining Computer Science with another programme at the UT, you need to be admitted (or eligible for admission to both programmes). After approval from your programme mentor, you have to send in a separate request for approval to the Examination Board CS (See EER, Article A3.6). For questions contact the master coordinator.

CS General (mandatory)

Ethics

191612680 Computer Ethics (1B, 5EC)

Graduation

192199508 Research Topics (10EC, YEAR)

192199978 Final Project (30EC, YEAR)

ST Core (mandatory)

ST Core courses

192140122 System Validation (Q1, 5EC)

192111332 Design of Software Architectures (Q2, 5EC)

202001472 Software Testing and Risk Assessment (Q3, 5EC)

201400225 Software Evolution (Q4, 5EC)

Credits 'Core ST':

ST Advanced (at least 4)

ST Advanced courses

192135310 Modeling and Analysis of Concurrent Systems (Q1, 5EC)

192135450 ADSA-Model Driven Engineering (Q1, 5EC)

202100126 Interactive Theorem Proving (Q2, 5EC)

201900082 Graph Algorithms and Complexity (Q2, 5EC)

192652150 Service-oriented Architecture Web Services (Q3, 5EC)

202300109 Quantitative evaluation of Systems (Q3, 5EC)

192111092 Advanced logic (Q4, 5EC)

192340041 Software Management (Q4, 5EC)

Credits 'ST Advanced / mantle':

ST Orientation

ST Profiling space: Orientation

Design Orientation: 201400172 Industrial Software Engineering Project (10EC)

Research Orientation: 201400171 Capita Selecta Software Technology (5EC)

Research Orientation: Software Science - 202100113 Probabilistic Model Checking (5EC, '24/25)

Research Orientation: Software Science - 202100114 Graph Transformations (5EC - '24/25)

Research Orientation: Software Science - 202100115 Program Verification (5EC, '25/26)

Research Orientation: Software Science - 202100116 Model Checking and Parity Games (5EC, '25/26)

ST Profiling space: electives and other

ST Profiling space: suggested electives

201600070 Machine Learning 1 (Q1, 5EC)

201200044 Managing Big Data (Q2, 5EC)

201600051 Software Security (Q2, 5EC)

192620300 Performance Evaluation (Q2, 5EC)

201400174 Data Science (Q2/Q3, 5EC)

201700081 Probabilistic Programming (Q3, 5EC)

202100263 Linked Data and Semantic Web (Q3, 5EC)

202100291 Ontology-Driven Conceptual Modeling with Applications (Q4, 5EC)

192199968 Internship CS (20EC, not combined with ISEP)

ST Profiling space: additional courses within the 120 or more credits (course code, course name):

Total credits

Total amount of credits in this exam programme:

Make sure to read the section on course programma approval on this website, before entering a programme of more than 120 credits.

Other courses (outside of the 120 credits mandatory to obtain your degree; outside of your exam programme)

Make sure to read the section on course programma approval on this website.