MSc Mathematical Foundations of Computer Science

2 Years On Campus Masters Program

Radboud University Nijmegen

Program Overview

The Master s specialisation 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.

Program Key Stats

€10856 (Annual cost)



Eligibility Criteria


80
6
80

Additional Information & Requirements

Career Options

  • Researcher
  • Teacher
  • Risk Model Validator
  • Consultant

Book Free Session with Our Admission Experts

Admission Experts