在卡内基梅隆大学学计算机是一番怎样体验？.docxVIP

卡耐基梅隆大学（Carnegie Mellon University）坐落在宾夕法尼亚州的匹兹堡，是一所享誉世界的私立顶级研究型大学，学校面积不大，学科门类不多，但在其所设立的几乎所有专业都居于世界领先水平。卡内基梅隆大学的计算机、机器人科学、理学、美术及工业管理都是举世公认的一流专业。尤其在科技方面的学术表现可圈可点，计算机科学、机器人学、电机工程等，在各自领域内都占有领导性地位。其中，计算机科学最为著名，所涵括的软件工程、电子商务、资讯管理系统、生产控管等都有出色的表现，卡内基梅隆大学的软件工程专业被喻为皇冠上的明珠，遥遥领先于其它名校。既然卡内基梅隆大学（CMU）的计算机专业举世闻名，那么，在卡内基梅隆大学学习计算机是一番怎样的体验呢？来看看知乎上三位卡梅校友陈炜、Ke克、谢澎涛的答案。快来观摩一下吧！（本文转自知乎，原文标题：在卡内基梅隆大学（CMU）学习计算机是什么感觉？）陈炜我印象最深的是CMU浓厚的编程语言的研究氛围。这在其他的名校里是很少见的。 你看School of Computer Science历任主任里， Peter Lee, Randy Bryant, 以及Computer Science Department的主任Frank Pfenning和Jeannette Wing， 无不是跟编程语言和形式化方法有关的， 更不用说那些对这些行政不感兴趣的大教授们了。CMU本科生的世界观跟剩下的世界不太一样。在他们的编程入门课上，老师问大家都知道哪些编程语言啊，所有人异口同声道：SML呀。在另一门编译器设计的课上， Frank Pfenning第一讲就是介绍寄存器分配，因为他认为parsing并不是那么有意思的东西(国内的学校可能一个学期也就只讲完parsing)。在Gate Building 9楼(计算机系楼)， 有一面墙可以用记号笔写字， 我路过上厕所的时候经常看到有个哥们儿把整面墙写满逻辑规则， 应该是Carl Crary的高级类型编译(HOT compilation). 我喜欢到处蹭课，Optimizing compiler啊, Type system啊， 老是能碰到另一个本科生哥们儿，贼热爱编译， Robert Harper讲得再不清楚， 这哥们也能听懂然后反问。 然后还有好几个别的本科生哥们，上Edmund Clarke的定理证明课，Coq用得我一愣一愣的. 有时候我在琢磨这定理该怎么证啊，要不要搞个引理啊， 他们却说：我虽然不知道为什么这么证是对的， 但是我证出来了...... CMU的教授从来没有丢失传统，不随波逐流。Robert Harper的身体不好， 但还是坚持上Type system这门课。到下半学期实在不行就换成他在家里用Skype视频，我们在教室里互动。我想，别看他嘴巴那么尖刻，看似很狂妄，其实他本就是个很高贵的人，容不得辜负自己的责任。这时他说，「Rob Pike是我的老友，老实说啊， 他做事情风风火火，动静很大，最后常常是犯了很多错， 比如你看看go。」另一位名教授 Frank Pfenning，我很佩服他教育学生的循循善诱。后来得知他儿子因病早逝， 不禁唏嘘。我朋友这么评价他：「有时候我会想，他们人生中承受了这么多不幸，但你从来没有看见他们有一点沮丧，反而比我们做出了更多的成绩，活出了更强壮的人生。」这个世界不缺所谓的牛人，只是少了像Frank和Bob这样孜孜不倦的教育家。Ke克先大概介绍一下自己，我是spring 2015入学，在CMU就读M.S. in ECE，一年半的professional项目，到2016年5月毕业。 问题问的是在CMU学习计算机是什么感觉，我想我可以用CMU的校训来作为回答：My heart is in the work。这句话充分诠释了CMU众多学生真实的学习生活状态，也是大家不断去追求的一个学习境界。作为一名非传统的ECE学生（我本科并没有学过任何EE/CE的课...），我当时入学的时候就下狠心要转CS的，因此选的课也是向CS的同学看齐。具体来说主要是参照了MCDS system track的培养计划选的课。没有MCDS同学的实力却硬要选别人培养计划的课，结果就是...过得十分苦逼关于在CMU的苦逼生活不用我过多描述，有心人或多或少都从很多地方听说了，什么半夜三点的escort啦，凌晨四点的Hunt啦，Wean Hall library随时都有不同睡姿睡觉的同学啦（最近好像library的躺椅都被替换了，因为总有人在睡觉的时候打呼噜23333）。基本上在CMU选了几门重的课之后，就没有什么闲暇去玩去social了，忙的时候连超市都去不成。外人可能会被CMU的这种“疯狂”的学习生活所吓到，这甚至成为CMU在某些同学择校时的一个减分项。但我想说的是，m