vakken.txt

   1 Vakkenlijst
   2
   3 Track basis (18 ec)
   4 NWI-I00032      1       6       Advanced Programming
   5 NWI-I00110      1       6       Testing Techniques
   6 NWI-IMC046      2       6       Model Checking
   7
   8 Track electives (24 ec)
   9 Software Technology
  10 NWI-IMC004      2       6       Compiler Construction
  11 NWI-I00155      1       6       Design of Embedded Systems
  12 NWI-IMC052      1       6       Software Development in Start-ups
  13 NWI-IMC051      1       5       Software Security
  14
  15 Computer-Aided Analysis:
  16 NWI-IMC035      2       6       Software Analysis
  17 NWI-IMC009      ?       6       Automated Reasoning [NOT OFFERED IN 2015-2016]
  18 NWI-I00139      2       6       Proof Assistants
  19
  20 Theory of Computation
  21 NWI-IMC010      ?       6       Type Theory and Coq
  22 NWI-IMC011      2       6       Semantics and Domain Theory
  23 NWI-IMC036      1?      6       Coalgebra
  24 NWI-WM072B      2       Complexity Theory OR NEXT LINE
  25 NWI-WM120B      ?       8       Computability theory
  26
  27 Track specific research seminar
  28 NWI-IMC045      2       6       Research Seminar Software Science
  29
  30 Research internship (15 ec)
  31 NWI-IMC047      3       15      Research Internship
  32
  33 Track-external choice (12 ec)
  34
  35 Computer science and society (3 ec)
  36 WI-IMI003       3       Philosophy and Ethics for Computing and Information Science
  37
  38 Free electives (12 ec)
  39
  40 Master thesis project (30 ec)
  41 NWI-IMC029      4       30      Master's thesis in Computing Science
  42