MSc in Mathematics and Foundations of Computer Science


The course focuses on the interface between pure mathematics and theoretical computer science. The course is suitable for those who wish to pursue research in pure mathematics (especially algebra, number theory, combinatorics, general topology and their computational aspects), mathematical logic, or theoretical computer science. It is also suitable for students wishing to enter industry with an understanding of mathematical and logical design and concurrency.

Course Structure and Facilities

Course Structure

The mathematical side of the course concentrates on areas where computers are used, or which are relevant to computer science, namely algebra, general topology, number theory, combinatorics and logic. Examples from the computing side include computational complexity, concurrency, and quantum computing. 

The course will consist of examined lecture courses and a written dissertation. The lecture courses will be divided into two sections:

Information for Current Students

Information for students on the MSc in Mathematics and Foundations of Computer Science.

How to Apply

When to Apply

The MSc starts in early October each year.  The admissions process is now open.  Detailed information on the timetable for applying can be found on the University's graduate admissions website.

Postgraduate Open Days

For information about the Mathematical Institute postgraduate open day in November and virtual open day in December.