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.  Please check the graduate admissions course webpage for the current admissions status for the MSc and a full list of application deadlines.