Master Computer Science & Engineering

Free electives

Quarter	Code	Unit	ECTS	Exam
1	2IMS10	Physical aspects of digital security	5	w
1	2IMW15	Web information retrieval and data mining	5	w+a
1	2IMN10	Architecture of distributed systems	5	w+a
1	2IMI15	Metamodeling and interoperability	5	w+a
1	2IMI25	Constraint programming	5	a
1	2IMA10	Advanced algorithms	5	w+a
1	2IMN30	Grid and cloud computing	5	a
1	2IMV25	Interactive virtual environments	5	a
1	2IMF30	System validation	5	w+a
1	2IMS25	Principles of data protection	5	w+a
1	2IMF20	Hardware verification	5	w+a
1	9ST14A	Academic skills in English 1¹	5	w+o
2	9ST14A	Academic skills in English 1¹	5	w+o
2	2IMS20	Hacker’s hut	5	a
2	2IMP10	Program verification techniques	5	w+a
2	2IMA15	Geometric algorithms	5	a
2	2IMN25	Quantitative evaluation of embedded systems	5	w+a
2	2IMV20	Visualization	5	a
2	2IMF25	Automated reasoning	5	w+a
3	2IMW30	Foundations of data-mining	5	w+a
3	2IMW10	Data engineering	5	w
3	2IMF15	Proving with computer assistance	5	w+a
3	2IMI30	Business process simulation	5	w+a
3	2IMI10	Business process management systems	5	w+a
3	2IMA20	Algorithms for geographic data	5	a
3	2IMN20	Real-time systems	5	w+a
3	2IMP25	Software evolution	5	w+a
3	2IMV10	Visual computing project	5	a
3	2IMF35	Algorithms for model checking	5	w+a
3	2IMS15	Verification of security protocols	5	w+a
3	2MMD30	Graphs and algorithms	5	w
3	9ST14A	Academic skills in English 1¹	5	w+o
4	9ST14A	Academic skills in English 1¹	5	w+o
4	2IMW25	Adaptive web-based systems	5	w+a
4	2IMW20	Database technology	5	w+a
4	2IMP20	Generic language technology	5	w+a
4	2IMF10	Process algebra	5	w+a
4	2IMI20	Advanced process mining	5	w+a
4	2IMN35	VLSI programming	5	a
4	2IMP15	Software project management	5	a
4	2IMV15	Simulation in computer graphics	5	a
4	2IMNT2	Real-time software development	5	a

Courses at Utrecht University²
1	2IUU10	Intelligent agents	7.5	w
2	2IUU15	Multi-agent systems	7.5	w+a
2	2IUU20	Computer animation	7.5	a
2	2IUU25	Computer vision	7.5	w+a
4	2IUU30	Games and agents	7.5	a
Seminars³
4	2IMS00	Seminar information security technology	5	a
4	2IMA00	Seminar algorithms	5	a
6	2IMG00	Seminar applied geometric algorithms	5	a
6	2IMI00	Seminar architecture of information systems	5	a
6	2IMW00	Seminar web engineering	5	a
6	2IMN00	Seminar systems architecture and networking	5	a
6	2IMP00	Seminar software engineering and technology	5	a
6	2IMV00	Seminar visualization	5	a
6	2IMF00	Seminar formal system analysis	5	a
Capita selecta courses/internship⁴
	2IMF05	Capita selecta formal system analysis	5	a
	2IMP05	Capita selecta software engineering and technology	5	a
	2IMS05	Capita selecta security	5	a
	2IMA05	Capita selecta algorithms	5	a
	2IMG05	Capita selecta applied geometric algorithms	5	a
	2IMN05	Capita selecta systems architecture and networking	5	a
	2IMV05	Capita selecta visualization	5	a
	2IMW05	Capita selecta web engineering	5	a
	2IMI05	Capita selecta architecture of information systems	5	a
	2IMC10	Internship	15	a

1 Enrollment (“neveninschrijving”) at Utrecht University is required to follow these courses. Note that all teaching activities take place in Utrecht. Definitive availability and scheduling depends on Utrecht University and are not guaranteed when this document is published.
2 Seminars can be taken from the fourth quarter of your study program onwards. This means that if you enroll in September, you cannot take the seminars in quarter 2 in your first year, but that you have to wait until you have entered the second year. Similarly, if you enroll in February, the seminars in quarter 4 can only be followed in your second year.
3 Capita selecta can only be taken with permission of the responsible lecturer. They can be taken at any time but typically during the second year of your master study.
4 The internship can be followed only after having obtained permission of the internship coordinator.

Master Computer Science & Engineering

Free electives

Courses at Utrecht University2

Seminars3

Capita selecta courses/internship4

Courses at Utrecht University²

Seminars³

Capita selecta courses/internship⁴