学院介绍

近一个世纪以来，斯坦福工程学院一直处于创新的前沿，创造了核心技术，改变了信息技术、通信、医疗保健、能源、商业等领域。我们的教师进行开创性的跨学科研究，我们的学生毕业时拥有卓越的技术，以及来自斯坦福大学所提供的一切的创造力、文化意识和创业技能。我们的目标是寻求重要全球问题的解决方案以及培养通过工程原理、技术和系统的力量改善世界的领导者。

斯坦福大学

计算机科学理学硕士（软件理论专业）

所在学校排名	全球排名：3 本地排名：3
专业中文名称	计算机科学理学硕士（软件理论专业）
专业英文名称	Master of Science in Computer Science （Specialization in Software Theory）
所在学校	斯坦福大学
培养目标	该硕士课程的目的是为学生提供开展职业生涯或进行博士研究所需的知识和技能。软件理论研究编程语言和应用程序在安全性等领域的特性。这一领域与理论计算机科学专业非常相似，但应用性稍强：软件理论专业的学生倾向于学习更多关于编程语言、编译器和数据库的系统论课程。
申请要求	中国大学学士学位；或同等学历；有很强的定量和分析能力；平均绩点（GPA）至少为3.5（4分制）
语言要求	托福89
学制	1-2年
截止日期	12月7日
入学季	秋季入学
预估费用	总学费60,174美元，生活费约2.3万美元/年，1年就读结束的总费用约60万人民币
课程详细信息	编程语言程序分析和优化人工智能：原理与技术网络高级话题数据密集型系统的原理大规模数据集挖掘项目密码学导论安全编译计算机和网络安全主题逻辑编程布尔函数的分析优化和算法范例随机算法与概率分析几何算法形式化方法中的高级主题计算机系统的形式化方法计算机实验室独立数据库项目独立项目
其他	该课程的学生可以随时转换专业方向。学生需填写一份新的课程表，并通过自己的课程导师批准即可。软件理论专业可考虑来自理论计算机科学、系统、人工智能专业的学生。