Structure of the Master Specialisation MFoCS - Master Computing Science
The programme structure for the master specialisation Mathematical Foundations of Computing Science has been more aligned to match that of the Data Science and Software Science specialisations. This entails the following changes:
- The compulsory part of the programme has been upscaled to 27 EC, and now also includes NWI-IMC036 Category Theory and Coalgebra (6 EC), NWI-IMC047 Research Internship (15 EC) and a 6 EC version of the MFoCS Seminar (NWI-IMC057).
- Specialisation electives now comprise 18 EC in total, and master electives 24 EC.
- The Master Thesis has been reduced to 30 EC instead of 40 EC.
The transition rules for students who started the MFoCS specialisation in or before 2018-2019 are summarized on this page (see also the Education and Exam Regulations):
The programme components are further defined as follows:
Specialisation basis (mandatory courses, 18 ec):
- NWI-IMC010 Type Theory and Coq (6 EC)
- NWI-WM069B Computer Algebra (6 EC)
- NWI-IMC036 Category Theory and Coalgebra (6 EC)
Specialisation electives (18 ec)
To be chosen from the list of courses below. Please note: some courses are taught in alternating years; below list mentions whether they are taught in 2019-2020 or 2020-2021. 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.
- NWI-I00139 Proof Assistants (6 ec) [not not taught in 2019-2020]
- NWI-IMC009 Automated Reasoning (6 ec)
- NWI-IMC011 Semantics and Domain Theory (6 ec) [will not be taught in 2020-2021]
- NWI-IMC046 Model Checking (6 EC)
- NWI-WM072B Complexity Theory (6 EC) [will not be offered in 2020-2021]
- NWI-WM120C Computability Theory (6 ec) [not offered in 2019-2020]
Specialisation specific research seminar (6ec)
- NWI-IMC057 MFoCS Seminar (6 EC)
Research internship (15 ec)
Computer, Science and Society (3 ec)
Master electives (24 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, but overlap with other courses is not allowed.
Free electives (6 ec)
To be chosen from courses offered by Radboud University, but overlap with other courses is not allowed. Should be approved by the Examining Board.
Final thesis (30 ec): MSc-project.
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 EC's of this programme should be 120 EC at least.