Programme of Mathematical Foundations of Computer Science
The Master’s specialisation in Mathematical Foundations of Computing Science is taught at the Faculty of Science. It has a course load of 120 EC (two years). In this research specialisation students must take a total of at least 12 EC of Mastermath courses. Mastermath is a cooperation of all Departments of Mathematics of the Dutch universities. The courses in this programme are taught at different universities.
The Master’s degree programme content chosen by the student may, after prior permission from the Examination Board, contain a maximum of 12 EC of third year courses from the Bachelor’s programme in Mathematics. This may exclusively consist of third year courses that have not been part of the student’s Bachelor’s programme.
Courses may differ per academic year, but the core topics of Mathematical Foundations of Computing Science remain rather constant.
Specialistion coordinator: Prof Dr B. Terwijn
The master specialisation Mathematical Foundations of Computing Science consists of
|C.||Mathematical electives||16 EC|
|D.||Master Thesis Project Mathematics||40 EC|
|E.||Professional Preparation||1 EC|
|G.||Free electives||6 EC|
A. Major (30 EC)
Mandatory courses for this major are listed in the table below. The Major should be completed with master courses that are related to this specialisation.
The specialisation coordinator or your thesis supervisor can help you choose your courses.
|1st Semester||2nd Semester|
|NWI-IMC010 Type Theory and Coq (6 EC)||X|
|NWI-WM069B Computer Algebra (6 EC)||X|
|NWI-IMC049 MFoCS Seminar (3 EC)||X|
The remaining EC need to be chosen from MasterMath or Computing Science courses from the table below. A list of Mastermath courses per specialisation (pdf, 75 kB) is provided. Course information for these courses may be found on the Mastermath website.
|RU Computing Science courses||1st Semester||2nd Semester|
|NWI-I00032 Advanced Programming||X|
|NWI-I00139 Proof Assistants||X|
|NWI-IMC004 Compiler Construction||X|
|NWI-IMC009 Automated Reasoning||X|
|NWI-IMC011 Semantics and Domain Theory||X|
|NWI-IMC035 Software Analysis||X|
|NWI-IMC046 Model Checking||X|
|NWI-IMC055 Quantum Processes and Computation||X|
|NWI-NB054E Statistical Machine Learning||X|
B. Minor (24 EC)
Your Minor is a self-determined set of coherent courses within Mathematics in general or within another field of interest. The minor needs to be approved by the Examination Board.
C. Mathematical electives (16 EC)
Mathematical electives are courses of choice within the field of Mathematics. The mathematical electives need to be approved by the Examination Board.
An overview of all Mathematics courses offered by Radboud University is found here. Courses offered by Mastermath may be found here. In case you have questions or need some help, contact your student advisor Ina de Vries.
F. Philosophy (3 EC)
One of the following courses should be completed:
- NWI-FFIL300C Mathematics, Zeitgeist and Worldview (3 EC)
- NWI-WM040B Philosophy of Mathematics (3 EC) (Taught 2018-2019)
G. Free electives (6 EC)
Free electives are any courses, not necessarily within the field of Mathematics.