培养目标
1. 分析算法的正确性以及时间和空间复杂度
2. 应用关键数据结构和算法设计技术来合成高效的计算解决方案
3. 使用形式化方法来指定和推理程序和系统行为
4. 应用抽象机器和保护机制的概念来分析、设计和开发满足功能规范的系统级组件
5. 应用计算机架构知识（包括对并行性的支持）来实现软件性能目标
申请截止日期
春季 2021年11月5日
秋季 2022年1月1日
录取要求
平均绩点 (GPA) 为 3.0/4.0 或更高
课程列表
| 中文 | 英文名 | 类型 |
|---|---|---|
| 结构化编程和形式方法 | Structured Programming and Formal Methods | |
| 计算机体系结构 | Computer Architecture | |
| 操作系统原理 | Principles of Operating Systems | |
| 算法的设计与分析 | Design and Analysis of Algorithms |
预约咨询
登录后查看更多，去登录
