MSc Mathematics and the Foundations of Computer Science (2026-2027 Entry)
11. Appendices
A. COURSE CALENDAR
|
Term Date |
2026-27 Date |
Event |
|
Michaelmas Term |
2026 Dates |
|
|
Week 0, Tuesday |
6 October |
Induction |
|
Week 1, Monday |
12 October |
Michaelmas term lectures begin |
|
Week 3, Monday |
26 October |
Deadline to confirm course choices to Course Administrator |
|
Week 4, Thursday midday |
5 November |
Examination entry for Michaelmas Term courses to be assessed by mini projects, practicals, written exams or approved subjects in Hilary Term or the Christmas Vacation. (Remember to enter for practical courses separately). |
|
Week 7, Thursday |
26 Nov ‘26 |
Supervisory Committee Meeting |
|
Week 8, Friday midday |
4 December |
MT Mini projects released |
|
Week 8, Friday |
4 December |
Michaelmas term lectures end |
|
Week 13, Wednesday midday |
6 January |
Deadline to submit MT mini projects |
|
|
|
|
|
Hilary Term |
2027 Dates |
|
|
Week 1, Monday |
18 January |
Hilary term lectures begin |
|
Week 2, Wednesday midday |
27 January |
MT Mini Project Deadline for Markers |
|
Week 3, tbc |
w/c - 1 Feb |
MT Interim Exam Board |
|
Week 3, Monday |
1 Feb |
Deadline to confirm HT course choices to Course Administrator |
|
Week 4, tbc |
w/c - 8 Feb |
Workshop on dissertation preparation and procedures |
|
Week 4, Thursday midday |
11 Feb |
Examination entry for all Hilary Term courses to be assessed by mini projects, practicals, written exams or approved subjects in Trinity Term or the Easter Vacation. (Remember to enter for practical courses separately). |
|
Week 8, Friday |
12 March |
Hilary term lectures end |
|
Week 8, Friday midday |
12 March |
HT Mini projects released |
|
Week 13, Wednesday midday |
14 April |
Deadline to submit HT mini projects |
|
|
|
|
|
Trinity Term |
2027 Dates |
|
|
Week 1, Monday |
26 April |
Trinity Term lectures begin |
|
Week 2, Friday midday |
7 May |
HT Mini Project Deadline for Markers |
|
Week 2, Friday midday |
7 May |
Deadline to submit a dissertation proposal with your intended dissertation supervisor and submit it to the Course Administrator |
|
Week 3, tbc |
w/c - 10 May 2026 |
HT Interim Exam Board |
|
Week 3, Monday |
10 May |
Deadline to confirm course choices to Course Administrator |
|
Week 3, Thursday midday |
13 May |
Examination entry for TT courses to be assessed by mini projects or written exams. |
|
Week 4, Thursday |
20 May |
Supervisory Committee Meeting |
|
Week 5, Friday midday |
28 May |
Deadline for submitting CS Practicals |
|
Week 6 to 8 |
w/c - 31 May |
Written exams for Part B and Part C Mathematics Courses |
|
Week 8, Friday |
18 June |
Trinity term lectures end |
|
Week 8, Friday midday |
18 June |
TT Mini projects released |
|
Week 13, Wednesday midday |
21 July |
Deadline to submit mini projects |
|
Week 16, Monday |
9 August |
TT Mini project deadline for Markers |
|
Thursday, midday |
2 September |
Deadline to submit dissertations |
|
Mid-September, tbc |
w/c - 20 Sep |
Viva examinations |
|
Mid-September, tbc |
w/c - 20 Sept7 |
Final Exam Board |
|
Degrees Conferred |
Student Dissertation Presentations will take place in Trinity Term on a date still to be decided.
B. COURSES OFFERED IN 2026-27
CS = Computer Science
B or C = undergraduate courses in Maths
Bespoke Maths = pure MFoCS courses
|
Schedule I Courses |
Lecturer |
Term |
Assessment Method |
|
|
|
|
|
|
Algebraic Topology - C |
Prof Andras Juhasz |
MT |
Exam |
|
Analytic Number Theory - C |
Prof Tom Sanders |
MT |
Exam |
|
Analytic Topology - C |
Prof Rolf Suabedissen |
MT |
Exam |
|
Categories, Proofs, and Processes – (CS) |
Prof Bartek Klin |
MT |
Exam |
|
Category Theory - C |
Prof André Henriques |
MT |
Exam |
|
Combinatorial Optimisation (CS) |
Prof Standa Živný |
MT |
Exam |
|
Computer-Aided Formal Verification (CS) |
Prof David Parker |
MT |
Exam |
|
Godel’s Incompleteness Theorems - C |
Dr Robin Knight |
MT |
Exam |
|
Prof Ben Hambly |
MT |
Exam |
|
|
Integer Programming - B |
Dr Jari Fowkes |
MT |
Exam |
|
Quantum Processes and Computation (CS) |
Prof Aleks Kissinger |
MT |
Mini-Project - CV |
|
Topology and Groups - B |
Prof André Henriques |
MT |
Exam |
|
Algebraic Number Theory – B |
Dr Hanneke Wiersema |
HT |
Exam |
|
Computational Complexity (CS) |
Prof Paul Goldberg |
HT |
Exam |
|
Graph Theory - B |
Prof. Oliver Riordan |
HT |
Exam |
|
Introduction to Quantum Information - C |
Prof Artur Ekert |
HT |
Exam |
|
Lambda Calculus and Types (CS) |
Zev Shirazi |
HT |
Exam |
|
Model Theory - C |
Prof Jochen Koenigsmann |
HT |
Exam |
|
|
|||
|
Schedule II Courses |
Lecturer |
Term |
Assessment Method |
|
Additive Number Theory – C |
Prof James Maynard |
MT |
Exam |
|
Algebraic Geometry - C |
Prof Dominic Joyce |
MT |
Exam |
|
Prof Alex Scott |
MT |
Exam |
|
|
Computational Game Theory (CS) |
Prof Michael Wooldridge |
MT |
Exam |
|
Distributed processes, types, and programming (CS) – with Practical |
Prof Nobuko Yoshida |
MT |
Mini-Project - CV |
|
Prof Pierrick Bousseau |
MT |
Exam |
|
|
Infinite Groups - C |
Prof Panos Papazoglou |
MT |
Exam |
|
Automata, Logic and Games (CS) |
Prof Michael Benedikt |
HT |
Exam |
|
Axiomatic Set Theory - C |
Dr Robin Knight |
HT |
Exam |
|
*Classical and quantum compositional distributional meaning (bespoke maths) |
Prof Bob Coecke |
HT |
Mini-Project - EV |
|
opology - C |
Prof Vidit Nanda |
HT |
Mini-Project - EV |
|
Elliptic Curves - C |
Prof Victor Flynn |
HT |
Exam |
|
Foundations of Self-Programming Agents (CS) |
Prof Giuseppe de Giacomo |
HT |
Mini-Project - EV |
|
Geometric Deep Learning (CS) – with Practical |
Prof Michael Bronstein |
HT |
Mini-Project - EV |
|
Prof Panos Papazoglou |
HT |
Exam |
|
|
Low-dimensional Topology and Knot Theory - C |
Prof Andras Juhasz |
HT |
Exam |
|
Dr Karel Devriendt |
HT |
Mini-Project - EV |
|
|
Dr Gillian Grindstaff |
|
||
|
Probabilistic Combinatorics - C |
Prof Paul Balister |
HT |
Exam |
|
*Applied Category Theory (bespoke Maths) |
Dr Paolo Perrone |
TT |
Mini-project - LV |
|
*Topological Groups (bespoke Maths) |
Prof Tom Sanders |
TT |
Exam |
*These courses are offered as directed reading courses, with syllabuses provided as in the case of lecture courses.
We regret that due to timetabling restrictions there will be a number of clashes between lecture courses. Please check the lecture timetable carefully.