查看: 360|回复: 0
收起左侧

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

|只看干货
本楼: 👍   0% (0)
 
 
0% (0)   👎
全局: 👍   0% (0)
 
 
0% (0)    👎
定位选校
入学年度: 2023
专业: CS
入学学期: Fall
学位: PhD
全奖/自费: 全奖Offer
本科学校档次: 本科:北大,清华,科大,中科院,特色学校牛专业
本科学校名称: 隐藏内容
本科专业: 隐藏内容
本科成绩和算法,排名: 积分不足,查看如何攒积分解锁阅读权限
研究生学校名称: 隐藏内容
研究生专业: 隐藏内容
研究生成绩和算法,排名: 积分不足,查看如何攒积分解锁阅读权限
T单项和总分: 积分不足,查看如何攒积分解锁阅读权限
G单项和总分: 积分不足,查看如何攒积分解锁阅读权限
论文/科研经历: 1篇POPL在投
相关工作经验范围: fresh grad 无实习或全职
学科竞赛/奖励: NOI铜牌

注册一亩三分地论坛,查看更多干货!

您需要 登录 才可以下载或查看附件。没有帐号?注册账号

x
本帖最后由 panda2134 于 2022-7-25 01:23 编辑
..
本科阶段只做过一段科研,目前某顶会在投;跟的老师也是做PL/Formal这一块的. 必限GPA3.88,年排7%左右,没有考过GRE,不知去什么学校.

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

上一篇:有学长学姐申请过Columbia&LSE的International and World History项目的吗?
下一篇:求一个定位,选校的,各个项目档次的网站
您需要登录后才可以回帖 登录 | 注册账号
隐私提醒:
  • ☑ 禁止发布广告,拉群,贴个人联系方式:找人请去🔗同学同事飞友,拉群请去🔗拉群结伴,广告请去🔗跳蚤市场,和 🔗租房广告|找室友
  • ☑ 论坛内容在发帖 30 分钟内可以编辑,过后则不能删帖。为防止被骚扰甚至人肉,不要公开留微信等联系方式,如有需求请以论坛私信方式发送。
  • ☑ 干货版块可免费使用 🔗超级匿名:面经(美国面经、中国面经、数科面经、PM面经),抖包袱(美国、中国)和录取汇报、定位选校版
  • ☑ 查阅全站 🔗各种匿名方法

本版积分规则

>
快速回复 返回顶部 返回列表