top2软件工程本科,想申请PL/Formal的CS PhD,求定位

panda2134
309
0
本科阶段只做过一段科研,目前某顶会在投;跟的老师也是做PL/Formal这一块的. 必限GPA3.88,年排7%左右,没有考过GRE,不知去什么学校

目前有参考csrankings了解过MPI-SWS的Derek(做Coq),Purdue的Rompf(做PL),UIUC的Madhusudan,还有Oxford的 Andrzej Murawski 感觉这几个导师都还算符合自己的方向,不知道大概选哪些保底,哪些重点比较合适
  • 分享至
0条回复

发表回复