ST 2023-2024 | Course programme 2023-2024 | Master Computer Science (CS): for students and staff

Academic year 2023-2024

Programme mentors: Petra van den Bos and Mortiz Hahn.

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're 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, 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.

Courses: General Computer Science (mandatory)

191612680 Computer Ethics (1B, 5EC)

192199508 Research Topics (10EC, YEAR)

192199978 Final Project (30EC, YEAR)

Credits General Computer Science

ST Core courses (mandatory)

192140122 System Validation (1A, 5EC)

192111332 Design of Software Architectures (1A, 5EC)

202001472 Software Testing and Risk Assessment (2A, 5EC)

202300101 Software Engineering Techniques (previously 201700082 - 2B, 5EC)

Credits ST core:

ST Advanced courses (at least 4 out of the following)

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

192135450 ADSA-Model Driven Engineering (1A, 5EC)

202100126 Interactive Theorem Proving (1B, 5EC)

201900082 Graph Algorithms and Complexity (1B, 5EC)

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

201400225 Software Evolution (5EC, 2A)

192111092 Advanced logic (2B, 5EC)

192340041 Software Management (2B, 5EC)

202300109 Quantitative evaluation of Systems (previously 201200006; 1B, 5EC)

Credits ST Advanced (Mantle)

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, '23/24)

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

Credits orientation

Profiling space: suggested electives

201600070 Machine Learning 1 (1A, 5EC)

201600051 Software Security (1B, 5EC)

192620300 Performance Evaluation (1B, 5EC)

201600040 Requirements Engineering Processes and Methods (1B, 5EC)

201400174 Data Science (1B or 2A, 5EC)

201700081 Probabilistic Programming (2A, 5EC)

Profiling space: additional electives within the 120 credits (course code, course name):

Credits profiling space:

Total amount of credits in this 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).

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