计算机（安全与可靠性）

本课程旨在教授现代计算机和通信系统如何运作，以及如何利用和改造它们来构建下一代可靠且安全的计算应用。你将深入了解软件安全、可靠性和隐私问题，并掌握应用形式化验证、人工智能和机器学习等先进技术来设计和实现安全可靠系统的技能。课程强调计算的基本原理以及系统设计、实现和使用中的工程考量，同时提供离散数学、经典数学和统计学等扎实背景。

第一年：计算机系统导论、数据库导论、计算机体系结构导论、计算实践1、离散数学逻辑与推理、图与算法、微积分、线性代数。第二年：算法设计与分析、软件工程设计模型、计算模型、操作系统、网络与通信、概率与统计、计算实践2、计算小组项目、机器学习，以及一门选修课。第三年：工业实习（第一部分）、I-Explore、网络与Web安全、网络化系统、并发编程理论与实践、定制计算，以及三门选修课。第四年：工业实习（第二部分）、个人项目，以及四门选修课（最多两门来自B组），包括隐私工程、密码学与编码理论、软件可靠性、高级计算机安全等。

A-level: A*A*A 或 A*AAA；IB: 41分

毕业生将具备在安全计算、可靠系统设计等领域从事高级技术或研究工作的能力，可进入科技公司、金融机构、政府机构等从事网络安全、系统可靠性等相关职业。