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
Information Theory - B	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
Combinatorics - C	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
Homological Algebra - C	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
Computational Algebraic T 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
Geometric Group Theory - C	Prof Panos Papazoglou	HT	Exam
Low-dimensional Topology and Knot Theory - C	Prof Andras Juhasz	HT	Exam
Networks - C	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.