Information for students on the MSc in Mathematics and Foundations of Computer Science.
Information on the structure of the degree course and the facilities available in the Mathematical Institute and Department of Computer Science.
This MSc course focuses on the interface between pure mathematics and theoretical computer science. It is suitable for those who wish to pursue research in pure mathematics, 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.
On 19 September 1994 Andrew Wiles finally proved Fermat’s Last Theorem, correcting the error in his original paper. It remains one of the great achievements in the history of mathematics and a compelling human story as captured in Simon Singh’s film.
BA/MMathPhil in Mathematics and Philosophy.
BA/MMath in Mathematics and Statistics.
BA/MMath in Mathematics.