Structure of the Master Specialisation MFoCS - Master Computing Science
The list below illustrates the basic organization of the 120 ec Mathematical Foundations of Computer Science, which consists of the following components:
- Specialisation basis (15 ec)
- Specialisation electives (30 ec)
- Limited choice electives (26 ec)
- Computer science and society (3 ec)
- Free electives (6 ec)
- Master thesis project (40 ec)
These components are further refined as follows:
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 (30 ec)
To be chosen from the categories below, and to be approved by the Examining Board. At least 6 ec should be chosen from courses provided by the computing science department (indicated below as RU-CS) and at least 6 ec should be chosen from courses provided by the department of mathematics (indicated below as RU-Math). Some courses are not taught in 2016-2017 as they are taught in alternating years. 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.
Category RU-CS
- NWI-I00032 Advanced Programming (6 ec)
- NWI-IMC009 Automated Reasoning (6 ec)
- NWI-IMC004 Compiler Construction (6 ec)
- NWI-IMC046 Model Checking (6 ec)
- NWI-I00139 Proof Assistants (6 ec)
- NWI-IMC011 Semantics and Domain Theory (6 ec)
- NWI-NB054E Statistical Machine Learning (6 ec)
- NWI-IMC035 Software Analysis (6 ec)
Categorie RU-Math
- NWI-WM072B Complexity Theory (6 ec) [not taught in 2016-2017]
- NWI-WM120C Computability Theory (6 ec)
- NWI-WM040B Philosophy of Mathematics (3 ec)
- NWI-IMC036 Coalgebra (6 ec)
- NWI-WM033B Category Theory (6 ec) [not taught in 2016-2017]
- NWI-WM038B Axiomatic Set Theory (8 ec) [not taught in 2016-2017]
- NWI-WM037B Intuitionistic Mathematics (8 ec)
- NWI-WM135 Independence Proofs in Set Theory (6 ec)
- Category Theory and Topos Theory (Mastermath - J. van Oosten, Universiteit Utrecht)
- Model Theory (Mastermath - B. van den Berg, Universiteit van Amsterdam)
Limited choice electives (26 ec)
To be presented for approval to the Examination Board. Courses from the Master's programme in Computing Science and Mathematics are automatically approved.
Computer science and society
Final thesis (40 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.</p