Mathematical Foundations of Computing Science

The Master's specialisation of Mathematical Foundations of Computer Science (MFoCS) is all about understanding the fundamental mathematical concepts of computation and information, to explore the potentials of computer science. 

This Master's specialisation covers a wide range of material at the intersection of mathematics and theoretical computer science. Courses in this programme range from the use of mathematics to model the foundations and explore the potentials and limits of computer science to the use of computers to help solve mathematical problems with a discrete component. MFoCS brings students in contact with the research frontier of the field. The curriculum consists of a range of courses in theoretical computer science and of research projects, which are organised in the MFoCS Research Seminar, a Research internship and a Master's Thesis project.