The emphasis of Mathematical Foundations of Computer Science (MFoCS) is on a combination of a genuine theoretical and up-to-date foundation in the pertinent mathematical subjects combined with an equally genuine and up-to-date training in key aspects of theoretical computer science. For this reason, the mathematics courses in this curriculum concentrate on Algebra, General Topology, Logic, Number Theory, and Combinatorics. The computer science courses concentrate on Formal Methods, Type Theory and Theorem Proving. This specialisation has a course load of 120 EC* (two years).
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.
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.
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.