Structure of the Master Specialisation MFoCS - Master Computing Science
The master specialisation Mathematical Foundations of Computer Science has been slightly modified in 2018-2019. In particular, some courses have been removed from the list of specialisation electives (please check the transition rules for further information), and the Specialisation electives component has been redudec by 6 EC, which have been added to the Restricted choice.
The list below illustrates the basic organization of the 120 ec specialisation, which consists of the following components:
Specialisation basis (mandatory courses, 15 ec):
- NWI-IMC010 Type Theory and Coq (6 ec)
- NWI-WM069B Computer Algebra (6 ec)
- NWI-IMC049 MFoCS seminar (3 ec)
Specialisation electives (24 ec):
To be chosen from the list of courses below, and to be approved by the Examining Board. Please note: some courses are taught in alternating years; below list mentions whether they are taught in 2018-2019 or 2019-2020. If this causes problems for your planning, please contact one of the specialisation coordinators Freek Wiedijk or Sebastiaan Terwijn, or student advisor Perry Groot to discuss this further. In addition to the courses below, courses of the national MasterMath programme may also be included in the choice of sub-specialisation.
- NWI-I00139 Proof Assistants (6 ec) [will not be not taught in 2019-2020]
- NWI-IMC009 Automated Reasoning (6 ec)
- NWI-IMC011 Semantics and Domain Theory (6 ec) [not taught in 2018-2019]
- NWI-IMC036 Coalgebra (6 ec) [will not be taught in 2019-2020]
- NWI-IMC055 Quantum Processes and Computation (6 ec)
- NWI-WM072B Complexity Theory (6 EC) [not taught in 2018-2019]
- NWI-WM120C Computability Theory (6 ec) [will not be taught in 2019-2020]
Restricted choice electives (32 ec):
Courses that are in some way related to the theme of Mathematical Foundations of Computer Science, subject to approval to the Examination Board. Courses from the Master's programme in Computing Science and Mathematics as well as the MasterMath programme are automatically approved.
Computer science and society (3 ec):
Free electives (6 EC):
The only requirement for this component is that it is filled with courses on an academic level that do not contain significant overlap with other courses in your programme.
Final thesis (40 ec):
MSc-project, NWI-IMC048 Master Thesis Mathematical Foundations of Computing Science. The final thesis is scheduled in the last semester. The MSc project is finished by writing a Master's thesis. Generally speaking, students will do their Master's project under the supervision of a member of staff of their own university. However, students may, after consulting a local supervisor, choose to do a Master's project at another site, or an external project at a company or abroad.
The total amount of ECs of this programme should be 120 EC at least.