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.

The MSc starts in early October each year.  The admissions process opens on 1st September in the preceding year.  Detailed information on the timetable for applying can be found on the University's graduate admissions website.