MSc Mathematics and the Foundations of Computer Science (2026-2027 Entry)