基本介紹
- 中文名:王垠[yín]
- 出生地:中國
- 職業:軟體工程師
- 畢業院校:四川大學
- 代表作品:《完全用Linux 工作》等
- 主要事件:推廣TeX、三次中途退學博士學位
個人經歷,主要作品,
個人經歷
1997年,考入四川大學計算機系97級。
2001年,保送清華大學計算機系軟體所碩博連讀,主要進行積體電路布線算法的研究。
2003年發表《完全用Linux 工作》、《寫給支持和反對<完全用Linux工作>的人們》,痛斥windows弊端、宣揚linux。
2004年8月,發表網路文摘《完全用linux工作》、《寫給支持和反對<完全用Linux工作>的人們》,痛斥windows弊端、宣揚linux,文章在中國的計算機和linux陣營引起極大轟動效應,成為水木清華linuxapp版和中國多個linux社區的偶像級人物。
2005年,發表學術論文“The polygonal contraction heuristic for rectilinear Steiner tree construction”。
2005年9月22日在水木社區BLOG上發表了《清華夢的粉碎--寫給清華大學的退學申請》明確要求退學,痛斥國內高等教育弊端。
2006年8月,從清華退學後考GRE出國到了康奈爾大學計算機系,康奈爾大學計算機系全美排名第六名。
2008年發表《Cornell 感受》並從康奈爾大學退學,到印第安納大學伯明頓分校(IUB)計算機繼續攻讀博士學位,印第安納大學伯明頓分校(IUB)計算機專業排名全美50名之外。
2012年,以一篇文章《對博士學位說永別》再次退學,至此王垠分別於2005年、2006年、2008年分別從清華大學、康奈爾大學和印第安納大學伯明頓分校退學。他認為他的“博士生涯”已經幫助他找到了比博士學位更重要的東西 。
2012年結束在Google的實習後發表《王垠:我和Google的故事》。
2012年冬季,加入Coverity,職業軟體工程師。
2013年03月發表《談“P=NP?”》,並表示“這個問題其實是不存在的,它根本不需要解決。”。
2013年11月發表《What's wrong with Object-Oriented Programming and Functional Programming》(《面向對象編程和函式式編程的問題出在哪裡》),痛斥對象編程和函式編程弊端。
2014年02月發表《程式設計師的心理疾病》,認為程式設計師群體存在心理疾患。
主要作品
《完全用Linux 工作》
《寫給支持和反對<完全用Linux工作>的人們》
《Cornell 感受》
《對博士學位說永別》
《談“P=NP?”》
《面向對象編程和函式式編程的問題出在哪裡》
《程式設計師的心理疾病》