Please note: This page is aimed at prospective students. Are you already a student at Radboud University? You can find your current study programme in the Course catalogue.

Study programme

The emphasis of Mathematical Foundations of Computer Science (MFoCS) is on the core foundations of modern theoretical computer science, and on the development of a broad view of theoretical computer science and its applications. For this reason, the mandatory courses of the MFoCS programme ensure that graduates are familiar with type theory and category theory. The specialisation electives allow students to elaborate on topics such as program semantics and analysis, algorithmic verification and logical reasoning, formalisation of proofs, mathematics of computation and on algorithms for algebraic computation. This specialisation has a course load of 120 EC (two years).

Curriculum

  • Curriculum of Mathematical Foundations of Computer Science

    This study programme intends to provide broad knowledge and understanding over a wide range of material in mathematics and theoretical computer science, bringing students in contact with the research frontier of the field. The curriculum consists of both lectures (with exercise classes) and of research projects, which are organised in the MFoCS Research Seminar and a Master's thesis project. There is a possibility to spend part of the master programme abroad.

    View curriculum

Study abroad

During your Master's programme, you will have the opportunity to go abroad for your studies, internship and/or thesis. You will learn to look at things from the perspective of a different culture and you will meet new people; it is an experience that will enrich your life. What’s more, it will look great on your CV. Please see the Radboud International web page for information about meetings, scholarships, internships and other practical information.

Additional challenge

Do you want an extra challenge during your studies? Do you find it interesting to think about current, social themes from different academic perspectives? Discover what the Radboud Honours Academy has to offer to achieve your maximum potential during your time as a student.

Mastermath

Radboud University takes part in the Dutch Master’s Degree Programme in Mathematics, or Mastermath for short. This is a national programme: every semester the Departments of Mathematics of Dutch universities organise joint courses in mathematics. These joint courses offer students the highest quality of instruction and allow to meet and interact with mathematic students and researchers from universities all over the country. And if you wish to pursue a PhD programme after completing your Master's programme, Mastermath increases the range of options open to you.

Therefore, studying at Radboud University means that apart from close contact with our own acclaimed professors, you can also profit from all the high standing mathematical knowledge that is found in the Netherlands.