[錄取] UMich/Columbia/Purdue/UCSB CS PhD

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/studyabroad/M.1637370506.A.C60], 我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

--