+++ /dev/null
-Semester 1
-NWI-I00032 6 Advanced Programming
-NWI-I00110 6 Testing Techniques
-NWI-I00155 6 Design of Embedded Systems
-
-Semester 2
-NWI-IMC046 6 Model Checking
-NWI-IMC045 6 Research Seminar Software Science
-NWI-IMC004 6 Compiler Construction
-
-Semester 3
-
-Semester 4
+++ /dev/null
-Vakkenlijst
-
-Track basis (18 ec)
-NWI-I00032 1 6 Advanced Programming
-NWI-I00110 1 6 Testing Techniques
-NWI-IMC046 2 6 Model Checking
-
-Track electives (24 ec)
-Software Technology
-NWI-IMC004 2 6 Compiler Construction
-NWI-I00155 1 6 Design of Embedded Systems
-NWI-IMC052 1 6 Software Development in Start-ups
-NWI-IMC051 1 5 Software Security
-
-Computer-Aided Analysis:
-NWI-IMC035 2 6 Software Analysis
-NWI-IMC009 ? 6 Automated Reasoning [NOT OFFERED IN 2015-2016]
-NWI-I00139 2 6 Proof Assistants
-
-Theory of Computation
-NWI-IMC010 ? 6 Type Theory and Coq
-NWI-IMC011 2 6 Semantics and Domain Theory
-NWI-IMC036 1? 6 Coalgebra
-NWI-WM072B 2 Complexity Theory OR NEXT LINE
-NWI-WM120B ? 8 Computability theory
-
-Track specific research seminar
-NWI-IMC045 2 6 Research Seminar Software Science
-
-Research internship (15 ec)
-NWI-IMC047 3 15 Research Internship
-
-Track-external choice (12 ec)
-
-Computer science and society (3 ec)
-WI-IMI003 3 Philosophy and Ethics for Computing and Information Science
-
-Free electives (12 ec)
-
-Master thesis project (30 ec)
-NWI-IMC029 4 30 Master's thesis in Computing Science
-