纯数学（数学形式化） MSc Pure Mathematics (Formalisation of Mathematics)

During this course, you’ll explore advanced topics in Pure Mathematics and strengthen your skills in reasoning, problem-solving and presenting ideas. You’ll choose from a wide range of optional modules, giving you the freedom to shape the course around your interests and goals. You’ll study key research areas such as algebra, number theory, geometry, topology and analysis, guided by experts in the field.