纯数学（数学形式化）理学硕士

该课程将探索纯数学的高级主题，并加强推理、问题解决和表达想法的技能。学生将从广泛的选修模块中选择，根据兴趣和目标定制课程。在专家指导下，研究代数、数论、几何、拓扑和分析等关键研究领域。课程结束时，将完成一个独立的研究项目，以专注而有意义的方式应用所学知识。

学生将选择八个选修模块，占总成绩的三分之二。必修模块包括形式化数学和研究项目。选修模块涵盖概率论、泛函分析、傅里叶分析、随机微积分、几何、拓扑、代数、数论、图论、群表示论、交换代数、李代数、椭圆曲线、偏微分方程、数学逻辑、几何复分析等。研究项目需包含形式化作为核心组成部分，通过书面报告和口试评估。

2:1 in mathematics or applied mathematics

毕业生具备在数学研究、学术界、金融、科技等领域从事高级工作的能力。形式化数学技能在计算机辅助证明和软件验证领域有广泛应用。