Program Image Mathematical Foundations of Computing Science

Mathematical Foundations of Computing Science

Master

Radboud University mapmarker icon Nijmegen Research university
Institution Logo Radboud University

This Master's specialisation will focus on 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.

This Master's specialisation has a unique theoretical and abstract focus that unites mathematics and computer science. The programme 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.

Language

English

Title

Master of Science

Duration

2 years

ECTS credits

Accreditation

NVAO

Numerus Fixus

Tuition fee 2024/2025

€ 2,530


Admission

Application requirements

Information not available

Language requirements

C1
Cambridge Certificate in Advanced English
6.5
IELTS overall band
90
TOEFL internet based

Check when you can start and what you have to pay!

Tuition fees  
€ 2,530
Information not available
Information not available
Start date App. deadline EU/EEA App. deadline Non-EU/EEA
1 Sep '24 1 Jul '24 1 Apr '24
1 Sep '25 1 Jul '25 1 Apr '25

Scholarships

You can check if you're eligible for scholarships that apply to this course.

Orange Knowledge Programma (OKP)

The Orange Knowledge Programme aims to contribute to a society's sustainable and inclusive development. Its scholarships are open to mid-career professionals in specific countries.

Fullbright-Radboud Scholarships

Global Education Programme

Contact

Radboud University

Main address
Houtlaan 4
6525 XZ Nijmegen

Ready to apply?

Visit course website chevron icon
Radboud University institution image
Radboud University institution image