真心求比较CMU/Princeton/Cornell/UPenn

研究方向是formal methods和PL
运气不错录了一些靠近东海岸的PL强校。现在十分纠结。。
想问在这些学校有经历的大佬给一点建议

目前考虑如下（大致按照preference的顺序）
-----------------------------------------------
CMU 导师: associate professor, 组里现在六七个PhD。做的方向是系统的formal verification
CMU Pros:
    - 四大。以后academia/industry可能都有加成。
    - 导师聊过感觉性格很好。在industry应该也有比较多的connection
    - 有一个很大的PL组，很多type theory的大佬都在这里
    - 有一堆很有趣的PL/Logic课
CMU Cons:
    - 不知道会不会peer pressure很大
    - 目前只找到这一个愿意收我的导师。而且我个人想做更偏理论的一点的formal methods/PL。不知道之后有没有机会做更偏type system的东西。
    - advisor matching略坑，必须入学后一个月定导师（不过据说换导师比较随意）

Princeton 导师: 现在可以确定跟的是一个新来的AP，有4个PhD学生。做的是偏理论的program analysis。个人感觉比较喜欢，不过有点担心未来的前景; 还有一个大牛 Andrew Appel，不过还没问他招不招学生
Princeton Pros:
    - 不知道为什么藤校还是对我很有吸引力。。
    - 有钱（stipend+fellowship大概是CMU/Cornell/UPenn的1.5倍）
    - 第一年不需要定导师或者做TA。
Princeton Cons:
    - CS部门CMU/Cornell小很多。副作用是没有什么特别有趣的专业课

Cornell 导师: 一开始套瓷半commit了一个新AP，做的是偏SE的方向。还有一个做偏理论的正教授也愿意收我（她们组大概7-8个PhD）。比较喜欢第二个导师的项目
Cornell Pros:
    - 也是PL很强的学校。很多CMU的PL大佬都是Cornell毕业的
    - 似乎第一年也不用定导师（但是没有拿到fellowship，要做TA）
. Waral dи,    - 同样莫名的藤校崇拜
    - 听说学校很漂亮
Cornell Cons:
    - 关于生活条件有听说一些负面的信息。比如比较村

UPenn 导师: 一个大牛。他的方向其实是我现在有的选择里最喜欢的。唯一的问题可能是他已经有几乎10个PhD学生了，不知道有没有足够时间指导我
UPenn Pros:
    - 藤校
    - 同样听说校园比较漂亮
    - 导师很好
UPenn Cons:
    - CS总体比CMU/Princeton/Cornell要不出名一点。不知道会不会就业相比其他选择要差一点
---------------------------------------------------------

总之感觉这四所都是PL方向一个级别的强校。
目前的目标是毕业之后去找教职/postdoc，所以可能会比较看重导师connection和研究前景（这一点上CMU和UPenn貌似会好一些）。
但是研究兴趣上好像又是Princeton/UPenn/Cornell会贴近一点。
stipend上Princeton要多很多。不过CMU的funding可能会更自由一点不需要TA。

现在visit day只去了CMU，所以还不是很清楚其他三所的生活条件。个人不是很介意住在村一点的地方（本科就是在一个小城镇）

总之不知道要用什么条件当tie breaker。。还希望地里大佬们给一点建议

微信用户_2d40423 发表于 2022-3-9 00:31
恭喜楼主，这边有CMU的交流群，要进吗？

可以呀谢谢。我好像没有积分。。能麻烦私信我吗

lz背景？

恭喜楼主！我想申23fall的formal methods，这个方向也在CS大类下，会不会竞争也十分激烈呀