UMich/ Columbia CS PHD 選校請益 - 留學

各位大大好，
今年在大CS年代，拿到幾間學校的offer, 目前在兩間學校Columbia UMich猶豫，
希望大家能給些意見, 畢業後應該會往學術圈繼續研究，想請問大家會比較推薦哪一間


背景：
UCLA CS MS

領域：
Programming Languages & Formal Methods , 主要是專注在Formal verification.

UMich:
Pros:
1. 老師領域滿喜歡，並且有跟半導體廠有合作計畫
Cons:
2. 知名度稍差

Columbia:
Pros:
1. Ivy League 名氣比Umich 好，但是畢業後是看老師

Cons:
1.紐約市治安差
2. Living cost 高於Michigan

Common:
1. 都是拿 RA funding
2. Top 11 ranking
3. 天氣都超冷xD, 在LA待久都覺得其他地方好冷


小弟原本已經選擇Umich, 但三月底突然Columbia 老師面試給offer, 滿驚訝但也蠻猶豫
的, 還請大家給建議

--