高级计算机科学理学硕士

本课程包含必修与选修两部分。所有学生均须在经系里同意的课题上完成并提交一篇学位论文，此为必修要求。在选修课程方面，学生可从一系列主题中选择学习模块，近年开设的示例课程包括：高级安全、自动机与逻辑及博弈、范畴与证明及过程、计算生物学、计算学习理论、自编程智能体基础、几何深度学习、概率模型检验、量子过程与计算，以及深度学习中的不确定性。选修课的具体设置可能因课程发展、教学人员的研究兴趣以及学年不同而有所调整。上述所列为近年来实际开设或类似内容的课程范例，旨在展示课程涵盖的学术方向和研究领域。整体课程结构兼顾理论深度与前沿技术，鼓励学生根据自身学术兴趣和职业规划灵活选择发展方向。