王垠百科

本站说明

本站是社区维护的非官方网站，用于整理公开资料和保存历史文章，不由王垠本人维护，也不代表王垠本人的立场。归档正文保留作者当时的表达，本站未逐篇进行事实核验；原始内容的权利归原作者或相应权利人所有。详见归档文章和编辑与归档政策。（最后复核：2026-08-08）

人物简介

据搜狐 2005 年人物资料，王垠本科毕业于四川大学，后在清华大学计算机系直博项目学习。2004 年前后，他发表了《完全用 Linux 工作》和《写给支持和反对〈完全用 Linux 工作〉的人们》等文章。其清华经历、集成电路布线研究与论文记录见下文。

清华大学经历

2005 年的多篇同期报道将王垠描述为四川大学 97 级本科毕业后保送至清华大学计算机系的直博或硕博连读学生，当时就读于计算机系软件所，主要研究集成电路布线算法。其中，《新周刊》采访的新浪转载称他在 2005 年处于博士第四年，并仍在清华等待办理退学手续；搜狐人物资料和《新京报》后续采访也记录了相同的院系、研究方向和申请退学背景。这些属于同期媒体报道，并非清华学籍证明，但与校内课程和论文记录相互吻合。

目前找到的最早校方服务器材料来自 2001 年秋季。清华计算机系的 70240183：Computational Geometry（Fall 2001）课程页面链接到该课程的项目档案，其中列出“王益、王垠、潘达：Voronoi 图的 Beachline 扫描算法的三维图形演示”。项目报告第一页保留三人署名，正文介绍了使用 C、MFC 和 OpenGL 演示 Fortune 扫描算法的实现、系统设计与测试结果。现存 PDF 的文件元数据显示它在 2014 年被重新生成，因此本站将其视为清华课程服务器保存的后期副本；项目所属的 2001 年秋季来自课程页面和项目目录的分类。

2003 年以后出现了连续的集成电路布线研究记录。《半导体学报》2003 年刊登的《非直角互连——布线技术发展的新趋势》将王垠与洪先龙、朱祺、经彤、杨旸、蔡懿慈共同列为作者；同年的 IEEE 会议论文 Rectilinear Steiner Minimal Tree among Obstacles也列有王垠、洪先龙和经彤等人。两项记录与报道所述 IC CAD、布线和 Steiner tree 研究方向一致。

2004 年 Springer LNCS 论文 An Efficient Low-Degree RMST Algorithm for VLSI/ULSI Physical Design进一步把 Yin Wang、Xianlong Hong、Tong Jing 和 Yang Yang 的机构标为清华大学计算机科学与技术系，并列出王垠的清华学生邮箱 wang-y01@mails.tsinghua.edu.cn。2005 年论文 The Polygonal Contraction Heuristic for Rectilinear Steiner Tree Construction保留相同的机构与邮箱信息；ASP-DAC 2005 Best Papers 名单将该论文列在 Best Paper Award 项下，并明确标注王垠、洪先龙、经彤和杨旸来自 Tsinghua University, Beijing。这些出版和会议记录构成其清华身份与研究活动最强的独立旁证。

清华计算机系官方的《与时俱进三十年的电子设计自动化研究室》说明，EDA 研究室隶属于计算机系软件所，研究领域包括集成电路计算机辅助设计，并介绍洪先龙是该研究方向的创建者和负责人之一、经彤后来也是研究室成员。这可以解释王垠论文合作者、软件所和研究方向之间的联系，但现有清华公开页面没有直接写明其正式导师，本站不根据共同署名单独认定导师关系。

王垠在归档文章《清华梦的粉碎》中自述于 2005 年申请放弃清华博士学位。同期报道能够确认其公开提出退学申请，却不能单独证明教务手续最终生效的准确日期；其当前公开的 LinkedIn 职业履历将清华经历列为 2001 至 2006 年、研究内容为电子设计自动化算法，但没有列出清华学位。截至 2026 年 8 月 8 日，本站未找到王垠的清华博士学位论文、学位授予记录或校方退学决定，因此将其表述为“曾为清华大学计算机系直博生，后申请退学”，不称其为清华博士毕业生。

Cornell 经历

Cornell 的 Programming Languages Group（PL@Cornell）现行 Alumni 名单将王垠列为“Yin Wang — 2008 → Intel”；Cornell 的 CS 681（2007 年秋季）课程页面也将 Yin Wang（yinwang@cs.cornell.edu）列为助教。这些材料支持他曾在 Cornell 学习并参与相关研究群体。不过，“2008 → Intel”的具体含义目前并不清楚：其公开履历将 2008 至 2012 年列为 Indiana University 学习经历，将 Intel 任职时间列为 2018 至 2020 年。本站因此保留 Cornell 名单的原文，不将其直接解释为“2008 年入职 Intel”。

这里的 Alumni 是研究组“前成员”分类，本身不等于获得 Cornell 博士学位。Cornell 计算机系另一个 Computer Science Ph.D. Alumni 目录目前将同名条目标为“Yin Wang — Dexter Kozen — 2008”，但本站未找到相应博士学位论文，而 PL@Cornell 所链接的公开职业履历标注为 Cornell 计算机科学硕士。由于这些来源的学位口径存在歧义，本站不据此认定其取得 Cornell 博士学位。

Indiana University 经历

王垠在 Indiana University Bloomington 计算机系服务器上的 2012 年个人简历将其身份写为“PhD student in Computer Science at Indiana University Bloomington”。简历的教育经历栏记录为“PhD student, Computer Science, Sep 2008 – current（with one year on leave）”，研究方向为程序语言；同时列出与 Amr Sabry、R. Kent Dybvig 等人的研究，以及 B501、B461、C212 等课程的 teaching experience。

其 Indiana University 个人主页的 2013 年存档还保留了校内邮箱、Lindley Hall 办公室、研究项目和课程记录。其中包括与 Amr Sabry 合作的可逆计算、定界续延与会话类型研究，以及 2011 年与 R. Kent Dybvig 合作的寄存器分配研究。页面列出的课程包括 2012 年春季 B501 Theory of Computation、2011 年秋季 B461 Database Concepts，以及 2008 至 2010 年间的 C212/A592 Introduction to Software Systems。由于页面和简历没有进一步标明具体教学职务，本站仅将其概括为“参与课程教学”。

另有两项相互独立的机构和学术记录可以交叉佐证：University of Oregon 的 OPLSS 2010 参会者名单将“Yin Wang”列为来自 Indiana University Bloomington；2012 年与 R. Kent Dybvig 合著的论文 Register Allocation By Model Transformer Semantics（PDF 原文）在论文首页将两位作者的机构标为 Indiana University。Amr Sabry 等人的论文 The Two Dualities of Computation还在致谢中感谢 Yin Wang 提出的问题和意见；这一材料可作为其参与当地研究讨论的补充线索，但不能单独证明学生身份或学位。

上述材料可以确认王垠在 2008 至 2012 年间以博士生身份在 Indiana University Bloomington 学习，并参与程序语言研究和课程教学，但“博士生”不等于“博士毕业”。其当前公开的 LinkedIn 职业履历将这段教育经历标为计算机科学硕士（2008—2012）；截至 2026 年 8 月 8 日，本站尚未找到可独立确认该硕士学位的 Indiana University 公开学位名录或学位论文记录，因此将“硕士”保留为本人公开履历中的自述，也不据现有材料认定其取得 Indiana University 博士学位。

Google 实习经历

王垠当前公开的 LinkedIn 职业履历列出两段位于 Washington 州 Kirkland 的 Google Software Engineer Intern 经历，分别为 2009 年 5 月至 8 月和 2010 年 5 月至 8 月。其技术演讲 Static Analysis of Dynamically Typed Languages made Easy也明确称相关工作来自 2009、2010 两个夏季在 Google 的实习，并将项目背景写为 Google 内部的 Grok Project：对 Google 的 C++、Java、JavaScript、Python、Sawzall 和 Protobuf 等代码进行静态分析。演讲内容主要介绍面向 Python 的类型推导、跨过程分析、语义索引和错误检测。

公开代码记录为这段自述提供了独立旁证。Jython 项目于 2010 年 1 月建立 Issue 1541：new static analyzer from Google，其中记录了一套由 Grok 负责人 Steve Yegge 提供的 google-indexer.zip，包含 org.python.indexer、抽象语法树、类型系统、测试和代码浏览演示。代码包中的源文件带有“Copyright 2009, Google Inc.”声明，Jython 维护者测试后将该代码纳入项目。这一公开记录与王垠所述 2009 年实习的时间、Google Python indexer 和技术内容相互吻合，但代码包没有保留个人作者署名，因此不能单独证明其作者身份。

Grok 项目本身亦有机构和第三方记录。Stanford EE Computer Systems Colloquium 保存的 The Grok Project: Large-scale source code analysis at Google 演讲介绍将其描述为 Google 内部的大规模源代码分析项目，并将 Steve Yegge 标为 Google Staff Software Engineer 和 Grok team manager。另一份 2012 年 Grok 演讲记录称团队位于 Kirkland，已支持 C++、Java、Python、JavaScript 等语言，并曾将 Java 编写的 Python indexer 开放给 Jython 项目。这些资料能够独立确认王垠演讲所描述的项目、负责人、地点和技术背景。

王垠在 2010 年发表的 PySonar: a type inferencer and indexer for Python介绍了该 Python 类型推导和语义索引工具；2013 年的 PySonar2 opensourced则称 PySonar 最初在 Google 开发，并在与 Google 协商后将第二版发布到其 GitHub 仓库。后两项仍属于本人陈述，但与同期 Jython 代码记录及 Grok 项目资料一致。

综合上述材料，本站将这段经历表述为：王垠于 2009 年和 2010 年夏季两次在 Google Kirkland 办公室担任软件工程实习生，参与 Grok 大规模代码分析项目，工作集中于 Python 静态分析、类型推导和语义索引。截至 2026 年 8 月 8 日，本站尚未找到直接署名王垠的 Google 官方员工页面、Google Research 作者页或 Google 代码提交记录，因此不据现有资料声称 Google 官方确认其为公开 indexer 的唯一作者。

后续职业经历

王垠当前公开的 LinkedIn 职业履历列出 Google 实习之后的多段公司经历；其归档文章还补充了一段未列入该履历的 Voxer 经历。按公开资料所示时间整理如下：

Coverity、Voxer 与 Sourcegraph

王垠在归档文章《半年来的工作感受》中称自己在 Coverity 从事静态分析软件开发；两天后的《我离开了 Coverity》明确写到已经辞职。这与 LinkedIn 所列的 2012 年 12 月至 2013 年 6 月任期吻合，但两篇文章均属于本人陈述，不能替代公司记录。

其后，《再见 Voxer，你好 Sourcegraph》称他经 Coverity 创始人介绍加入 Voxer，作为该公司的第一个 Data Engineer 工作了两个多月，随后决定加入 Sourcegraph；《在 Sourcegraph 的第三天》则称已经正式加入 Sourcegraph，并开始把 PySonar2 接入其系统。

Sourcegraph 公司侧留有同期技术记录：2014 年 2 至 3 月，GitHub 账号 yinwang0以 Yin Wang <yinwang0@gmail.com> 身份在 Sourcegraph 官方组织的 annotate、vcsserver、syntaxhighlight和 go-vcs仓库中留下提交。这些记录能够有力佐证其在所述时期参与 Sourcegraph 工程工作，但不能单独证明劳动关系或 Lead Researcher 职级。

Shape Security 与 Microsoft

Shape Security 官方 GitHub 组织保存了与公开任期吻合的记录：2015 年 2 月，yinwang0 在 shift-java仓库合并代码；同年 5 月又以该账号发起了修复 pull request #57。这些公司官方组织内的记录可以佐证其参与工程开发，但仍不能单独确认 Senior Software Engineer 职级。

对于 Microsoft 经历，王垠在 2017 年的《更新》中称自己所在团队的产品是企业级存储设备 StorSimple；随后发表的《微软的秘密离职协议》描述了离职过程。文章时间和内容与 LinkedIn 所列 2016 年 7 月至 2017 年 4 月的任期基本一致，但截至 2026 年 8 月 8 日，本站未找到能够独立确认其职位的 Microsoft 公司侧公开材料；搜索中出现的多位同名 Microsoft 员工和论文作者亦未被纳入。

Intel 与 F5

Intel 官方 GitHub 组织提供了较强的同期旁证。2019 年 3 月，yinwang0 以 Yin Wang <yinwang0@gmail.com> 身份在 Intel 的 Deep-learning-math-kernel-research仓库提交代码，另有包含 prv-yin-test 分支的合并提交。王垠在《2020 新年寄语》中也称自己即将离开 Intel。两类材料与 LinkedIn 所列 2018 年 7 月至 2020 年 4 月任期相符；GitHub 记录能够佐证其参与 Intel 项目，但不能单独确认 Staff Software Engineer 职级。

当前 LinkedIn 页面将王垠列为 F5 Principal Engineer，显示其于 2023 年 1 月在 London 开始该职位，2024 年 6 月转至 Tokyo 并延续至今。第三方组织名录 The Org也将其列为位于 Tokyo 的 F5 Principal Engineer，并概述其 Microsoft、Shape Security 和 Intel 经历；不过该页面明确标注为“Unverified”，并非 F5 官方确认。因此，本站将 F5 任职表述为本人当前公开职业履历所示的现职，不将 The Org 作为独立的公司证明。

综合来看，Sourcegraph、Shape Security 和 Intel 的官方 GitHub 组织记录构成公司侧技术旁证；Coverity、Voxer、Microsoft 和 F5 暂无同等级的公司官方点名资料。2017 年 4 月至 2018 年 7 月、2020 年 4 月至 2023 年 1 月之间，现有公开履历没有列出其他公司任职，本站不据此推测其去向。

头像与照片

这些图片来自公开页面的历史整理，具体来源和授权状态仍待逐项补录；如需补充署名、修正来源或移除，请提交 issue。

当前网站与社交账号（最后核验：2026-08-08）

开源项目（最后核验：2026-08-08）

以下日期取自 GitHub：创建日期为仓库创建时间，最近更新为默认分支最新提交日期，不使用可能受标签或镜像同步影响的 pushed_at。项目按最近更新倒序排列。

内容备份与镜像

以下页面由本站或第三方维护，并非王垠本人维护的官方网站。对有公开源码仓库的项目，创建和更新日期均取自对应仓库；最近更新指默认分支最新提交，不代表镜像收录内容的原始发表日期。列表按最近更新倒序排列。（最后核验：2026-08-08）

学术论文与专题资料

年份采用论文出版年、课程学期或资料正文标注的时间；未找到可靠时间的条目列在最后。相同论文的正文、书目和获奖记录相邻排列，整体按年份倒序。（最后核验：2026-08-08）

历史网站存档

以下链接指向 Wayback Machine 历史快照或其他存档页面。

媒体采访与历史报道

相关转载与轶闻