Zoek in de site...

Programme of Mathematical Foundations of Computer Science

Master's specialisation in Mathematical Foundations of Computing Science

The Master’s specialisation in Mathematical Foundations of Computer Science is taught at the Faculty of Science. It has a course load of 120 EC* (two years). The first year of this specialisation contains four compulsory courses. You can compose the rest of the programme with specialisation electives and free electives.
The structure is as follows:

Art of course Course EC Time period
Compulsory courses


Type Theory and Coq 6 EC Year 1
Computer Algebra 6 EC Year 1
Seminar 3 EC Year 1
Philosophy and Ethics for Computing
and Information Science
3 EC Year 2
Specialisation electives

at least 6 EC of Mathematics courses 56 EC in total

Year 1 & 2

at least 6 EC of Computer Science courses
free electives 6 EC in total Year 1 or 2
Master's thesis 40 EC Year 2

Specialisation electives

You can construct your programme by selecting a set of Master’s courses offered by Radboud University, for a minimum of 56 EC. At least one course should be a mathematics course, and one a computer science course. You can choose from the following lists (each course is 6 EC).

Computer Science courses

Mathematic courses

Mathematics courses can also be selected from the Mastermath programme. In fact, Mathematics students taking this specialisation are obligated to take a number of courses from the Mastermath programme. The selection will have to be approved by the Examination Board.

Free Electives

You must select a set of Master’s courses offered by Radboud University, for a total of 6 EC. Overlap with other courses is not permitted and the selection will have to be approved by the Examination Board.

Master’s thesis and research internship

Your Master's thesis consists of an individual research project, which allows you to investigate a topic of your choice under the close supervision of our expert staff. You can read more about this on Our research in the field.

Going abroad

You have the possibility of going abroad in the third semester. You could, for example, follow courses with Radboud University's partners in the IRUN or Erasmus network. It’s also possible to do your Master’s thesis abroad, in the form of an internship or Erasmus period. You can for example apply for a grant to perform an internship at the Max Planck Gesellschaft, one of the world's most renowned research institutes.If you’re interested in going abroad during your Master’s, please contact one of the student advisors.

* European Credit Transfer System (ECTS)
The workload of an academic year is equivalent to 60 European credits (EC), where 1 EC point is 28 hours of study.