個人經歷
合影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”，獲ASP-DAC國際會議最佳論文獎。
2005年9月22日在水木社區BLOG上發表了《清華夢的粉碎--寫給清華大學的退學申請》明確要求退學，痛斥國內高等教育弊端。
2006年8月，從清華退學後考GRE出國到了康奈爾大學計算機系，康奈爾大學計算機系全美排名第六名。
2008年發表《Cornell 感受》並從康奈爾大學退學，到印第安納大學伯明頓分校（IUB）計算機繼續攻讀博士學位，印第安納大學伯明頓分校（IUB）計算機專業排名全美50名之外。
2012年，以一篇文章《對博士學位說永別》再次退學，至此王垠分別於2005年、2006年、2008年分別從清華大學、康奈爾大學和印第安納大學伯明頓分校退學。
2012年冬季，加入Coverity，職業軟體工程師。
2012年發表文章《對博士學位說永別》，他認為他的“博士生涯”已經幫助他找到了比博士學位更重要的東西 ，再次退學。
2012年結束在Google的實習後發表《王垠：我和Google的故事》，
2013年03月發表《談“P=NP?”》，並表示“這個問題其實是不存在的，它根本不需要解決。”。
2013年11月發表《What's wrong with Object-Oriented Programming and Functional Programming》（《面向對象編程和函式式編程的問題出在哪裡》），痛斥對象編程和函式編程弊端。
2014年02月發表《程式設計師的心理疾病》，認為程式設計師群體存在心理疾患。
2016年發表《未來計畫》。
2016年6月，表示要離開美國，回國發展。
主要作品
《完全用Linux 工作》
《寫給支持和反對<完全用Linux工作>的人們》
《Cornell 感受》
《對博士學位說永別》
《談“P=NP?”》
《面向對象編程和函式式編程的問題出在哪裡》
《程式設計師的心理疾病》
