作为最有前景、毕业起薪最高的专业之一，CS在中国留学申请中，备受青睐。

随着世界科技的发展，对数字化技术越来越依赖、对有才华程序员的需求日益增长，CS专业在世界范围内都算得上是热门申请专业。

而全美公认最强的CS四大——麻省理工学院、卡耐基梅隆大学、加州大学伯克利分校、斯坦福大学——是几乎所有CS学生的心之所向。 

今天，小藤就来给大家好好介绍这四所CS强校，看看它们都强在哪？

霸榜CS各大排名的Big Four

说起CS强校，四大的地位无人能撼动。

四大到底有多强？从各大排名就可以看出来：

US.News 2022年计算机科学专业排名中，四校并列全美第一！

QS 2021年计算机科学与信息系统专业中，四校为全美TOP4！

软科2021计算机科学与工程排名中，四校为全美TOP4！

泰晤士2022计算机科学专业排名中，四校是全美TOP5，哈佛排在UCB前一名。

在计算机科学的第一研究门户网站Guide 2 Research的排名中，四校也是全美TOP4！

除了在US.News中四大并列第一外，四所大学在其余几个榜单里，名次各有不同。

那么，Big Four里谁才是CS老大呢？

MIT：

技术贯穿血液的铁杆CS迷

MIT直到2018年才成立计算机学院，之前是作为工程学院的一个系。

但一直以来，计算机专业都是MIT最热门的专业，电气工程与计算机科学 (EECS) 课程是麻省理工学院最广泛的本科课程。

而且，MIT曾为CS的发展作出了不可磨灭的贡献。 

包括但不限于：

第一台数字计算机（1951年）

世界上第一台可以实时运行的数字计算机，是由Jay Forrester（MIT 1945届硕士）领导的MIT“旋风计划（Project Whirlwind）”开发的。而这台计算机的成功，直接促成了1951年MIT林肯实验室的诞生。

Multics操作系统（1964年）

MIT最早提出了分时系统，并催生了UNIX（一种多用户、多进程的计算机操作系统）。

登月密码（1969年）

Margaret Hamilton领导的一支来自MIT的团队，编写了阿波罗11号的导航与控制系统。这个系统帮助宇航员成功登陆月球。

以太网（1980年）

以太网是一种联网技术，可以让设备通过插上一根网线的简单方式实现上网。由MAC项目团队成员Bob Metcalfe（1968届）共同发明。

黑客文化先驱（1983年）

麻省理工AI 实验室的早期程序员Richard Stallman，通过他的GNU项目成为了黑客文化和自由软件运动的主要先驱，该项目旨在开发出可以替代UNIX的免费软件，并为Linux和其他重要的计算机创新奠定了基础。

区块链诞生（1999年）

MIT教授Barbara Liskov提出的有关《实用拜占庭容错》的论文，帮助催生了区块链（一种应用广泛的加密系统）。

移动个人助理（2007年）

在Siri和Alexa还未出现之前，MIT 教授Boris Katz就开发出了应用程序StartMobile。这个APP允许用户通过说话来安排约会、获取信息以及执行其他任务。

......

可以看到，在数字时代、互联网、人工智能等领域，许多关键性突破的背后，都有MIT的身影。

MIT在CS的各个领域，都是顶级的、引领行业的存在。

而MIT在CS的成就，和它们的教学课程理念是分不开的。

MIT非常重视数学，CS本科生必修的算法课，都会涉及大量的数学证明。对于像物理、化学等基础学科也有要求，完成了一定学分才可以毕业。 

而且在CS这样一个快速发展的领域，MIT对其CS课程的改变显得有些缓慢。

数十年来，MIT一直使用Scheme编程语言来作为第一年的CS课程，直到近几年才转为Python。

Python是一种在学生毕业离开学校后，立即能运用的程序语言；而Scheme更多像是优化代码以提高效率的程序语言。 

MIT的课程似乎更想让学生打牢CS的基础知识，然后深入钻研CS，想要学生了解CS背后的一切原理。

而这对学生来说，并不实用，对初学者也并不友好。有些人也会因此将缺乏实用性和过度设计用来形容MIT。

所以，MIT更适合那些铁杆CS迷，适合那些技术贯穿他们血液的人。