Research course

Mathematical Foundations of Computer Science (specialisation)

Institution
Radboud University · Faculty of Science
Qualifications
MSc by research

Entry requirements

Please find all the relevant information about admission requirements on our website.

Months of entry

September

Course content

Understanding the fundamental mathematical concepts of computation and information in order to explore the potentials of computer science.

The theory of computation arose from concerns about the foundations of mathematics, and was developed in the work of Gödel, Church, Turing, Kleene and others. The actual building of computing machinery later was strongly influenced by this theoretical work. Computer science quickly grew into an independent field of study, but the relations with mathematics are still strong. Connections range from the use of mathematics to model the foundations all the way to the use of computers to help solve mathematical problems with a discrete component.

The Master’s specialisation Mathematical Foundations of Computer Science places itself squarely in this exciting interdisciplinary area of deep theoretical developments. 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, category theory, coalgebra and theorem proving.

Not only is this Master’s an excellent stepping-stone for students with ambitions in research, many of our graduates also work as systems builders, ICT specialists or ICT managers in the private sector or within government.

Qualification and course duration

MSc by research

full time
24 months

Course contact details

Name
Admission Office
Email
admissionoffice@ru.nl