想读PL（程序语言理论）方向PhD，求推荐合适的CS Master项目过渡！
684429
楼主18年本科毕业，这一GAP基本是在读书+网课+看论文+捣鼓写解释器代码等自学，今年5月终于确定了出过留学计划，T的口语有点低，还会继续刷，定位里的排名看看就行，我选校不是特别在意这一点，在意什么我下面说。
三段非个人项目的【科研】【实习】经历：
1. 上海交大大学生创新项目（和机器学习有关，但是我做的工作是写类似编译器parser的东西和数据库开发）；
2. 上海闵行紫竹 Intel 实习6个月，与数据压缩算法优化有关，实习偏research；
3. iGEM（国际基因工程机器大赛），在美国波士顿Presentation，软件开发组，做的是Web应用搜索引擎，我还是做数据库开发......
比较长远的目标已经确定，读CS PhD，方向已经确定，Programming Languages Theory 子领域（PL），具体更细的方向我还在自己发掘兴趣中（目前对静态分析感兴趣，但是不排除其他方向的可能性，如类型系统，编译器，Verification，逻辑编程自动定理证明一类的）
本科是生物信息（Bioinformatics），但是CS的课程在培养计划内修齐了，C语言，Python，数据结构与算法，生信专用算法，数据库原理，Linux操作系统，计算机网络，缺的编译原理的知通过科实习可以自己读书和来弥补。
对直接申请PhD来说，本人科研经历和硬实力比较弱，我的想法是要申请一个偏research-oriented的CS Master，要求是选课自由度高（一定要有PL的基础课和进阶课，不强制修找工作相关的商业一类的课的），Faculty要有Programming Languages方向的教授，如果能通过一些方法直接转为PhD学习最好（当然这个不奢望啦），placement多为PhD的最好，至于氛围，就是对research友好的，能自主选择项目组跟教授做课题的就行，最好学生少老师多。
目前比较中意的一个项目是，Indiana University Bloomington的CS Master，很大原因是我的启蒙书《The Little Schemer》系列作者Dan Friedman在那里教课，IUB的PhD也是我未来的首选之一。其他的学校我目前只能按照自己读过的PL领域的书、论文里出现的作者名字去搜索，比如NEU有个Matthias·Felleisen，Racket的作者，上世纪70年代和Friedman一起提出了CEK machine模型......；总之我现在的一切目标就是为了能读PL的PhD做铺垫的。
有没有人能为我指点一下迷津呢，这样的CS Master应该不会像AI、ML、DS一类的热门项目一样，我希望能够找到“小而精”的那种项目，师生能够充分互动交流的那种~
我知道我的要求可能比较奇葩，而且做CS PL方向的非常小众，但是我还是期待论坛有的有缘人能看到并为我解惑~谢谢大家
三段非个人项目的【科研】【实习】经历：
1. 上海交大大学生创新项目（和机器学习有关，但是我做的工作是写类似编译器parser的东西和数据库开发）；
2. 上海闵行紫竹 Intel 实习6个月，与数据压缩算法优化有关，实习偏research；
3. iGEM（国际基因工程机器大赛），在美国波士顿Presentation，软件开发组，做的是Web应用搜索引擎，我还是做数据库开发......
比较长远的目标已经确定，读CS PhD，方向已经确定，Programming Languages Theory 子领域（PL），具体更细的方向我还在自己发掘兴趣中（目前对静态分析感兴趣，但是不排除其他方向的可能性，如类型系统，编译器，Verification，逻辑编程自动定理证明一类的）
本科是生物信息（Bioinformatics），但是CS的课程在培养计划内修齐了，C语言，Python，数据结构与算法，生信专用算法，数据库原理，Linux操作系统，计算机网络，缺的编译原理的知通过科实习可以自己读书和来弥补。
对直接申请PhD来说，本人科研经历和硬实力比较弱，我的想法是要申请一个偏research-oriented的CS Master，要求是选课自由度高（一定要有PL的基础课和进阶课，不强制修找工作相关的商业一类的课的），Faculty要有Programming Languages方向的教授，如果能通过一些方法直接转为PhD学习最好（当然这个不奢望啦），placement多为PhD的最好，至于氛围，就是对research友好的，能自主选择项目组跟教授做课题的就行，最好学生少老师多。
目前比较中意的一个项目是，Indiana University Bloomington的CS Master，很大原因是我的启蒙书《The Little Schemer》系列作者Dan Friedman在那里教课，IUB的PhD也是我未来的首选之一。其他的学校我目前只能按照自己读过的PL领域的书、论文里出现的作者名字去搜索，比如NEU有个Matthias·Felleisen，Racket的作者，上世纪70年代和Friedman一起提出了CEK machine模型......；总之我现在的一切目标就是为了能读PL的PhD做铺垫的。
有没有人能为我指点一下迷津呢，这样的CS Master应该不会像AI、ML、DS一类的热门项目一样，我希望能够找到“小而精”的那种项目，师生能够充分互动交流的那种~
我知道我的要求可能比较奇葩，而且做CS PL方向的非常小众，但是我还是期待论坛有的有缘人能看到并为我解惑~谢谢大家
- 9