It is not the task of the University to offer what society asks for, but to
give what society needs.
— Edsger W. Dijkstra
很荣幸能在后疫情时代收到PhD offers, 在2020–2021疫情肆虐之下, 申请PhD Program
想必非常辛劳, 希望本人的文章能帮助所有同学, 让大家在未来申请到dream schools
Programs: Computer Science PhD
Research: Formal Methods(FM), logic, verification, and Programming
Languages(PL).
Admission:
-UMich CSE PhD (w/ interview, 1st year fellowship 2–4th year RA/TA)
-Columbia CS PhD (w/ interview, RA & 教育部世界百大奖学金)
-Purdue CS PhD (w/o interview, TA)
-UCSB CS PhD (w/ interview, TA/RA sign-on bonus)
Rejections
-UC Berkely EECS PhD
-Cornell CS Phd
-UPenn CS Phd
-Brown CS Phd
-Caltech CS PhD
-UMD CS Phd
-UCLA CS Phd
-UCSD CSE Phd
-Rice CS Phd (w/ interview)
-NYU CS PhD
-TAMU CS PHD
Decision: UMich CSE Phd — Go BRUIN(X) Go Blue(O)
Background:
Education Background
-UCLA CS MS 2019–2021
-NTHU CS BS 2014–2018
Research Experience
-中研院Programming Languages and Formal Methods (PLFM) Lab RA, 2021- 2022
-UCLA Scalable Analytics Institute (ScAi) 专题学生 2021
-清大专题学生 2017–2018
Publication:
n-rd author journal in bioinfomatics
Work Experience
-新创Full Stack Intern 2019
-中华电信研究院Intern 2018
Test Score
-GRE: V159 Q169 AWA4.0
-TOEFL: Waived (如果degree 是在英语系国家念的话, 可以waive , 但是有些学校只认
bachelor degree 不认masters’ degree, e.g., Princeton, Harvard, and USC)
Letters of Recommendations
-UCLA 专题教授
-UCLA 修课教授 (Compiler 领域)
-UCLA 修课教授 (Programming Languages领域)
-中研院指导教授 (Formal Methods领域)
Why PhD
我大学一直对于software engineering 尤其是program analysis and software testing
非常有兴趣, 但是他们都会有其limitaion
Testing can establish the presence of errors, but not their absence
我也因此开始接触所谓Formal Methods — mathematically rigorous techniques for
the specification, development, and verification of software and hardware
systems — 如何用数学logic system来证明程式正确性. 同时又去研究Programming
Languages 如 Lambda Calculus, type system 深深对于 theoretical computer
science 有相当大的兴趣. 但是台湾做相关领域FM PL 领域教授相当稀少, 所以当时人生
规划就是去UCLA 念CS masters’. 刷题找工作.
在UCLA 硕士期间, 我才真正体现到开头讲的, 美国CS名校有相当大量的资源, 不管是修
课的种类或是研究机会, 都是世界顶尖, 让我有机会接触更深的FM PL领域. 我还记得硕
班老师说过 there is strong math behind computer science. 这句话深深启发我对于
学术研究的信念
选校
我申请主力以TOP 20为主, 并且以我研究领域, ivy leagues cs 本身就偏理论所以较多
老师实验室在做FM, 而且我本身有ivy leagues 情节xD, 所以这次申请以CS 申请者来说
ivy leagues比率算高的
-Big Four: UC Berkely
Cal 当梦幻校来投的
-Ivy League: Cornell, Columbia, UPenn, Brown
长春藤CS 较多做理论, 因为人收得非常少, 所以Bar 非常高
-Top 20: UCLA, Caltech, UCSD, UMD, Purdue, Rice
UC系列应该是台湾人最爱投的, 喜欢加州天气的可以考虑
Rice 小学校, 近几年受到台湾人青睐, FM 领域有很强的大咖
-Top 30: UCSB, NYU, TAMU
这三间不管是FM研究或是环境都相当不错,
SOP/PS/CV
跟上次申请master 架构差不多,细节请参考我之前申请master’s的心得. 这次主要讲述
个人研究领域 Formal Methods, formal verification
Connection
我个人认为对于CS冷门领域, 如果有connection 对于不管是申请或是以后学术圈有相当
大帮帮助. FM圈子非常小, 大家都互相认识, 面试的时候还会互相问寒暄. 帮我写LoR 的
老师之前在Purdue CS当Associate Head.
套词信
Quick Answer: No
我并没有任何套词. 我个人觉得可能要看领域, PL FM 领域非常冷门, 申请人数应该是
CS 里面最少的, 我个人的感觉是这领域老师希望收齐所有applicants 慢慢看给面试. 所
以套词多半会回罐头信. 但ML CV 领域应该是要套词机会才会大
Interview
面试分成三种, 第一种是Professor 制, 第二种是Committee 制, 准备面试的话,有些人
会准备3~5张投影片介绍自己, 我是没有准备投影片, 我不习惯看稿, 个人熟读自己CV 跟
老师研究, improvise.
-Professor制
Professor 约面试的话, 有面试机会很大机会会给offer (UMich Columbia UCSB)，
30mins 面试内容主要是让学生知道实验室老师研究领域 跟 让学生介绍自己研究背景,
我个人没遇到问非常深的专业问题
-Committee 制
老师多半代表committee 来面试 (Rice)，问题多半是 why phd why this school. 较多
behavior questions 跟修课
-直接Offer
有些学校是没有面试就直接给offer (Purdue). 我想应该跟committee 制度有关
Scholarship
教育部与世界百大合作设置奖学金
我有申请哥大的百大奖学金, 每年的10月简章，1月报名截止, 但运作原理相当奇怪, 要
先收到offer 后才会审理奖学金, 5月底才会出结果. 所以对于提升入取机率可能不会有
任何影响. 已今年为例, 哥大百大奖学金入取者只有我一人, 我三月底收到哥大RA
offer,可是在5月底才通知我有申请到奖学金, 可是我在4/15 deadline 前已经选择
UMich, 所以我必须要放弃奖学金的机会.
以版上之前哥大百大奖学金运作为例
[https://www.ptt.cc/bbs/studyabroad/M.1637370506.A.C60.html], 我RA 的钱会变成
一半由教育部出, 但是对于CS PhD领域影响不大
Disclaimer: 我对教育部百大奖学金运作原理可能不是真正了解, 如果有错误,还请纠正
Conclusion
申请CS PhD 对我来说是追求未来梦想的过程, 我必须要感谢在我UCLA硕班期间的陪伴的
朋友, 度过 covid-19 pandemic的每一天, 同时让我深思why PhD. 感谢教授们指导本人
做研究并且写推荐函. 我一直对于学术有崇高的理想, 希望能秉持着我唸PhD 的信念
Advance human knowlede and inspire the next generation.
祝未来大家都能申请到自己心目中的学校
此文同时刊载在 https://medium.com/p/d020c42ee5b