find your perfect postgrad program
Search our Database of 30,000 Courses

Radboud University: Mathematics: mathematical foundations of computer science

Institution Radboud University
Department Faculty of Science
Web http://www.ru.nl/masters
Study type Taught

Summary

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.

MSc

Not what you are looking for?

Search our comprehensive database of postgrad programs.

Postgraduate Bursary Opportunity with Postgrad.com

Are you studying as a PG student at the moment or have you recently been accepted on a postgraduate program? Apply now for one of our £2000 PGS bursaries.

Click here