清华高性能所陈婧教授

报告生成时间：2026年8月3日
个人主页：https://hpc.cs.tsinghua.edu.cn/info/1537/2713.htm
所属研究所：https://hpc.cs.tsinghua.edu.cn/

一、学者基本信息

陈婧，女，清华大学计算机科学与技术系教授、博士生导师，高性能计算研究所"正高"序列教师。她是 2024 年初从美国全职回归清华的国家海外高层次人才计划入选者，研究方向为计算理论、算法博弈论、机制设计、区块链与分布式账本。其学术履历具有鲜明的"图灵奖师承 + 顶级理论期刊 + 工业界首席科学家"三重特征：博士师从图灵奖得主 Silvio Micali，在 Econometrica、SICOMP、Journal of Economic Theory、Mathematics of Operations Research、STOC、FOCS 等经济学与理论计算机科学的双料顶刊顶会上发表论文，并曾出任区块链公司 Algorand 的首席科学家兼理论研究主管。

需要特别说明的是，陈婧在高性能计算研究所中是一位方向上的"异类"。高性能所的传统主线是并行计算、存储系统、体系结构与超算应用（郑纬民、武永卫、翟季冬、舒继武、陈文光等），而陈婧的研究属于理论计算机科学与计算经济学交叉领域。她被编入高性能所建制，推测更多是出于"分布式账本 / 分布式系统"这一共同的技术底座，以及计算机系人才引进时的编制安排考虑（推测）。这一点决定了她的学术合作网络与所内同事的重合度较低，其真正的核心网络在 MIT 理论组、石溪大学以及国内的算法博弈论/区块链学术共同体之中。

项目	内容
姓名	陈婧（Jing Chen）
性别	女
职称	教授、博士生导师（2024 年 1 月 8 日获聘清华大学长聘教授）
所属单位	清华大学计算机科学与技术系
所属研究所	高性能计算研究所（正高序列）
人才计划	国家海外高层次人才计划入选者
研究方向	计算理论、算法博弈论、机制设计、区块链与分布式账本、智能合约
博士导师	Silvio Micali（麻省理工学院教授，2012 年图灵奖得主）
邮箱	jchencs@mail.tsinghua.edu.cn
主要奖项	NSF CAREER Award（美国国家科学基金会职业成就奖，2016）
学术兼职	ACM TEAC 副主编（2021— ）、Blockchain 期刊副主编、CSIAM 区块链专委会副主任/副会长、CCF 计算经济学专委会执委
官方主页列出论文	38 篇代表性论文（期刊 14 篇 + 会议 24 篇）
代表性发表载体	Econometrica、SICOMP、JET、MOR、TE、TCS、TEAC、AIJ、STOC、FOCS、ITCS、ICALP、WINE、AAMAS、IJCAI、SAGT、ESA

关于论文数量与引用指标，其清华官方主页共列出 38 篇代表性论文，时间跨度为 2007 年至 2022 年。需要说明的是，公开渠道未检索到经过可靠消歧的 Google Scholar 个人主页或 DBLP 唯一作者页面，因此本报告不给出 h-index 与总引用量的具体数值。她与 Micali 合著的 Algorand 白皮书（arXiv:1607.01341）是该系列成果中影响力最大的一篇，被区块链领域大量引用。

关于同名学者的消歧说明

"陈婧 / Jing Chen"是中英文均极为常见的姓名，检索过程中确认存在大量同名干扰，本报告在撰写时已逐一排除以下同名学者，读者引用时请特别注意：

北京大学智能学院陈婧：2009 年获北京大学信号与信息处理专业博士学位，剑桥大学博士后，研究方向为听觉与语音感知、脑机接口语音神经解码。与本报告主角完全无关。
浙江某高校数字财经学院陈婧：2025 年引进的高层次人才，研究可持续发展经济学、绿色金融与产业转型，2026 年获浙江省软科学项目立项。与本报告主角完全无关。
NYU Shanghai 的 Jing Chen：管理与战略实务教授，Florida International University 经济学博士，研究创业与战略人力资本。与本报告主角完全无关。
新加坡国立大学 Chen Jingsheng：材料科学与工程，兰州大学物理博士。姓名相近但非同一人。
香港中文大学（深圳）陈靖邦（CHEN Jingbang）：滑铁卢大学博士，图算法方向。姓名相近但非同一人。

本报告采用的消歧依据是：（1）教育背景必须为"清华本科 2004 + 清华硕士 2007 + MIT 博士 2012"；（2）博士导师必须为 Silvio Micali；（3）论文署名必须出现在算法博弈论、机制设计或分布式账本领域。凡不满足上述三条的"陈婧/Jing Chen"署名均未采信。此外，在 DBLP 上以 "Jing Chen" 检索会返回数十个同名作者条目，且 DBLP 已对该姓名做了带编号的多重消歧（如 47/1445-x 系列），检索时无法通过单一 PID 稳定定位本人，因此本报告的论文清单以清华官方主页公布的代表作列表为准，未采用 DBLP 自动聚合结果。

二、教育背景与职业履历

（一）教育背景

陈婧的教育背景呈现"清华本硕—MIT 博士"的清晰路径，且本硕博均为计算机科学与技术专业。

她于 2000 年考入清华大学计算机系（清华计算机系 2000 级本科生），2004 年获工学学士学位。随后继续在清华计算机系攻读硕士，为 2004 级硕士研究生，2007 年获工学硕士学位。硕士阶段的研究方向与后来的算法博弈论并不相同，从其 2007—2008 年的三篇早期论文（ACNS 2007、ASIACCS 2007、TCS 2008）可以看出，她当时从事的是密码学与信息安全方向的研究，具体涉及基于身份的识别方案（identity-based identification schemes）与无证书密码学中的恶意 KGC 攻击。这三篇论文的合作者包括 Guomin Yang、Duncan S. Wong、邓小铁（Xiaotie Deng）、王东生（Dongsheng Wang）、Man Ho Au、Joseph K. Liu、Yi Mu 等人，其中 Duncan Wong 与邓小铁当时均任教于香港城市大学。据此推测，陈婧在清华硕士期间曾赴香港城市大学做过访问研究或联合培养，其硕士导师推测为清华计算机系高性能所的汪东升（Dongsheng Wang）教授——这也可能是她此次回国后被编入高性能所的历史渊源之一（推测，公开渠道未见明确记载）。

2007 年硕士毕业后，陈婧赴美国麻省理工学院攻读计算机科学博士学位，师从 Silvio Micali 教授。Micali 是零知识证明、可验证随机函数、伪随机性等现代密码学基础理论的奠基者之一，因"对密码学理论的变革性贡献"与 Shafi Goldwasser 共同获得 2012 年图灵奖，此外还获得过哥德尔奖和 RSA 奖。陈婧于 2012 年获得 MIT 计算机科学博士学位。

博士期间，陈婧的核心贡献是运用计算理论的思维方法解决了经济学中认知博弈论（epistemic game theory）领域的重要问题。她与 Micali 在 STOC 2009 上发表的《A New Approach to Auctions and Resilient Mechanism Design》，以及在 FOCS 2011 上发表的《Mechanism Design with Set-Theoretic Beliefs》，开创了基于"可能性信念（possibilistic beliefs）"的机制设计框架。这一系列工作的集大成之作是与 Micali、Rafael Pass 合著、发表于经济学最顶级期刊 Econometrica（2015）的《Tight Revenue Bounds with Possibilistic Beliefs and Level-k Rationality》。据清华官方报道，其博士期间的相关成果已被写入认知博弈论的教材，这是理论工作获得学科认可的重要标志。

（二）职业履历时间线

2000 年：考入清华大学计算机科学与技术系（2000 级本科）。
2004 年：获清华大学计算机科学与技术专业工学学士学位；同年继续在本系攻读硕士（2004 级硕士）。
2005—2007 年：从事密码学与信息安全方向研究，与香港城市大学 Duncan Wong、邓小铁团队合作发表 ACNS 2007、ASIACCS 2007 等论文（推测期间有赴港访问经历）。
2007 年：获清华大学计算机科学与技术专业工学硕士学位；赴麻省理工学院攻读博士。
2007—2012 年：MIT 计算机科学博士，导师 Silvio Micali。期间在 ITCS 2010（两篇）、STOC 2009、FOCS 2011 等理论计算机科学顶会连续发表论文。
2012 年：获 MIT 计算机科学博士学位；随后入职纽约州立大学石溪分校（Stony Brook University）计算机系，任助理教授（Assistant Professor）。
2016 年：获美国国家科学基金会职业成就奖（NSF CAREER Award）。同年在 ITCS 2016 发表两篇论文、AAMAS 2016 发表两篇论文，是其学术产出的高峰期之一。
2016 年 7 月：与 Micali 共同署名的 Algorand 白皮书（arXiv:1607.01341）发布。此后出任区块链技术公司 Algorand 的首席科学家（Chief Scientist）兼理论研究主管（Head of Theory）。这一时期她同时保有石溪大学教职与工业界职位，形成"学术界+工业界"的双轨身份。
2019 年：Algorand 协议的完整理论版本以《Algorand: A secure and efficient distributed ledger》发表于 Theoretical Computer Science。同年参与 Coq 形式化验证 Algorand 共识协议的工作（FMBC 2019）。
2021 年：出任算法博弈论旗舰期刊 ACM Transactions on Economics and Computation（TEAC） 副主编（Associate Editor），至今在任。
2023 年 9 月 18 日：清华大学高性能计算研究所官网发布其个人主页，标志其与清华建立正式联系。同年受邀在香港中文大学（深圳）举办的"2023 第三届网络经济博弈论坛"上作主旨演讲，署名单位已为"清华大学"。
2024 年 1 月 8 日：在清华大学长聘教授聘任仪式上，校长李路明为陈婧颁发长聘教授聘书，正式获聘清华大学长聘教授（tenured professor）。
2025 年 1 月：全职离开美国，正式回归清华大学。1 月 21 日清华大学官方微信公众号发表《从麻省理工回清华，她立志"做最好的科研"！》一文，1 月 22 日《南华早报》等媒体广泛报道，成为"科学家回国潮"的标志性事件之一。
2025 年 4 月 20 日：与山东大学计算机科学与技术学院院长成秀珍教授共同担任首届 CCF 算法大会"区块链与信息前沿探索"分论坛联合主席。
2026 年：担任 CSIAM 2026 区块链与金融科技算法联合学术年会程序委员会主席（署名"清华大学教授，CSIAM 区块链专委会副主任"）。

关于加入高性能所的确切时间，需要区分三个节点：官网页面发布于 2023 年 9 月，长聘教授聘书颁发于 2024 年 1 月 8 日，而全职到岗（离开美国）则在 2025 年 1 月。公开报道中"2024 年入职"与"2025 年全职加入"两种说法并存，实际是这一过渡期的不同侧面。截至本报告撰写时，她全职在清华工作约一年半。

三、学生培养情况

陈婧的学生培养情况需要分为"石溪大学时期"与"清华大学时期"两个阶段来看，两个阶段的公开信息详实程度差异极大。

（一）石溪大学时期（2012—2024）指导的学生

李博（Bo Li）——香港理工大学计算机系副教授，是陈婧培养的最具代表性的学生。李博本科为中国海洋大学应用数学专业，硕士为该校运筹学专业，随后赴美国石溪大学计算机系攻读博士。从论文署名可以清晰看出师承关系：他与陈婧合作发表了大量算法博弈论论文，包括 SICOMP 2019 的《Efficient Approximations for the Online Dispersion Problem》、AIJ 2022 的《Bayesian Auctions with Efficient Queries》、ICALP 2017 与 ICALP 2018 各一篇、IJCAI 2019 两篇、SAGT 2018、WINE 2021 的《Maximal Information Propagation via Lotteries》等。这些论文构成了陈婧在石溪时期最密集的合作序列，李博是其署名频次最高的合作者。李博博士毕业后先后在美国德克萨斯大学奥斯汀分校电子与计算机工程系、英国牛津大学计算机系从事博士后研究，之后加入香港理工大学计算机系任助理教授，现已晋升副教授。他目前独立带领一个规模可观的课题组（含博士后 1 人、博士生 7 人以上、研究助理若干），研究方向为算法博弈论与机制设计、计算社会选择与公平分配、近似与在线算法，与陈婧的方向高度一致。值得注意的是，2023 年香港中文大学（深圳）的网络经济博弈论坛上，陈婧作主旨演讲，李博作专题报告，师生二人同台，说明二人的学术联系在李博独立后依然紧密。

李颖楷（Yingkai Li）——从论文署名看，是陈婧在石溪时期的另一位重要学生或合作者。他与陈婧、李博三人合著了多篇核心论文，包括 SICOMP 2019、AIJ 2022、ICALP 2017、ICALP 2018、SAGT 2018、IJCAI 2019 的《Approximately Maximizing the Broker's Profit in a Two-sided Market》等。"J. Chen, B. Li, Y. Li"这一署名组合在其代表作列表中反复出现，构成了陈婧石溪时期的核心研究小团队。李颖楷后续在美国西北大学（Northwestern University）从事经济学与计算交叉方向的研究（推测），公开渠道未检索到其完整的毕业与任职记录，本报告不做进一步断言。

Shikha Singh——现为美国威廉姆斯学院（Williams College）计算机科学系教师。她与陈婧、Samuel McCauley 合作了"理性证明（rational proofs）"系列研究，包括 ITCS 2016 的《Rational Proofs with Multiple Provers》、SAGT 2018 的《Efficient Rational Proofs with Strong Utility-Gap Guarantees》、ESA 2019 的《Non-Cooperative Rational Interactive Proofs》。这一系列跨越四年、三篇论文的稳定合作，符合博士生与导师的典型合作模式，推测 Shikha Singh 为陈婧在石溪指导的博士生（推测）。

Samuel McCauley——同为上述"理性证明"系列的合作者，现亦在威廉姆斯学院任教。他在石溪大学期间的主要导师为数据结构与算法方向的教授（推测非陈婧），与陈婧的关系更接近于同期的青年研究者合作，而非师生关系。

Hau Chan（陈厚）——需要特别澄清一个容易产生的误判。Hau Chan 与陈婧合作发表了 AAMAS 2016 两篇（《Provision-After-Wait with Common Preferences》《Budget Feasible Mechanisms for Dealers》）、WINE 2014《Truthful Multi-unit Procurements with Budgets》、TEAC 2017、IJCAI 2019《Maximin-Aware Allocations of Indivisible Goods》等多篇论文，合作频次很高，很容易被误认为是陈婧的博士生。但根据其个人主页的明确记载，Hau Chan 于 2010—2015 年在石溪大学攻读博士，导师是 Luis Ortiz，而非陈婧。因此他应被归类为陈婧在石溪时期的同机构青年合作者，而非学生。Hau Chan 现为美国内布拉斯加大学林肯分校（University of Nebraska-Lincoln）助理教授，领导 Computational Decision Science（CDS）实验室，获得过 IJCAI 2022 Early Career Spotlight、AAMAS 2016 最佳学生论文奖、NSF 研究生奖学金等荣誉，是 AI for Social Good 与机制设计领域的活跃学者。

高扬（Yang Gao）——与陈婧、Thomas Robertazzi、Kevin A. Brown 合作发表了 PRAB 2019 与 ICALEPCS 2017 两篇论文，方向是用强化学习管理大型分布式控制系统的客户端活动。这是陈婧研究谱系中比较特殊的一支，与布鲁克海文国家实验室（Brookhaven National Laboratory）的加速器控制系统相关。Yang Gao 推测为石溪大学电子与计算机工程系的学生（Robertazzi 为该系教授），陈婧在其中承担联合指导或算法方向的合作者角色（推测）。

（二）清华大学时期（2024 年至今）

陈婧于 2024 年初获聘、2025 年初全职到岗，截至 2026 年 8 月，在清华的完整培养周期尚未完成，其指导的博士生/硕士生名单在公开渠道未检索到相关信息。清华大学计算机系与高性能计算研究所官网均未公布其课题组成员页面，她本人亦未建立独立的课题组主页。据其回国报道中的表述，她希望以"学术界+工业界"双重视角助力国内计算经济领域发展、填补国内区块链前沿理论的空白，可以推测其在清华的招生方向将集中在区块链共识协议理论、智能合约机制设计、算法博弈论等方面（推测）。首批在清华完整培养的博士生预计将在 2028—2030 年前后毕业。

（三）培养特征小结

从石溪时期的记录看，陈婧的学生培养呈现出鲜明的"理论学者输出"特征：其可确认与高度推测的学生（李博、Shikha Singh、李颖楷）全部进入学术界，且分别任教于香港理工大学、威廉姆斯学院等院校，无一人进入工业界。这与其导师 Micali 的学术传统一脉相承，也与她本人所在的理论计算机科学领域的就业生态相符。同时，她的学生数量并不多——从 2012 年到 2024 年的十二年间，可确认的博士毕业生仅有个位数，这符合理论方向导师"少而精"的培养模式。

四、学术合作网络

（一）所内合作情况

陈婧与清华大学高性能计算研究所内其他教师的学术合作，公开渠道未检索到任何合作论文。这是本报告需要如实说明的一个重要发现。

高性能所的现有师资结构（正高序列包括陈婧、陈康、陈文光、李兆麟、钱学海、舒继武、汪东升、武永卫、薛巍、杨广文、翟季冬、郑纬民、张悠慧；副高序列包括章明星、黄震春、姜进磊、陆游游、余宏亮、张广艳、赵颖、鞠大鹏等）几乎全部集中在并行计算、存储系统、体系结构、编译优化、超算应用等系统方向。陈婧的计算理论与算法博弈论方向在所内没有直接的对口合作伙伴。

目前可以确认的所内互动仅有一次公开记录：在清华大学计算机系高性能所召开的"人工智能时代的计算机系统研讨会"上，陈婧与钱学海教授、青年教师渠鹏、王豪杰一同作报告，她的报告题目是《基于随机选择的最大化信息传播机制》（Maximal Information Propagation via Lotteries），对应其 WINE 2021 的论文。这次研讨会说明她已融入所内的学术交流活动，但报告内容仍是其在石溪时期的既有成果，尚未产生与所内同事的联合研究。

一条值得关注的潜在纽带是汪东升教授。汪东升是高性能所正高序列教师，而陈婧 2007—2008 年的两篇密码学论文（ACNS 2007、TCS 2008）的合作者中就有 Dongsheng Wang。若这一署名确为汪东升，则二人早在陈婧硕士期间就已建立师生或合作关系，这也为她回国后落编高性能所提供了一个自然的解释（推测）。

另一条潜在纽带是章明星、陆游游等从事分布式系统的中青年教师。区块链本质上是一类特殊的分布式系统，理论上存在"共识协议理论 + 分布式系统工程实现"的互补合作空间，但截至目前公开渠道未检索到实际的合作成果。

综合判断，陈婧目前在高性能所内部呈现出方向孤立但建制归属的状态。她的实际学术共同体在清华校内更可能是交叉信息研究院（姚班/理论计算机科学方向）、经管学院数字金融资产研究中心等单位，而非高性能所。不过公开渠道亦未检索到她与交叉信息研究院或经管学院的具体合作记录。

（二）跨机构与国际合作网络

与所内合作的稀薄形成鲜明对比的是，陈婧的跨机构与国际合作网络极为深厚，且层次分明。

第一层：MIT 理论组（师承核心）

Silvio Micali 是陈婧学术网络中权重最高的节点。二人的合作论文数量在其全部发表记录中位居首位，且时间跨度从 2009 年一直延续到 2019 年，覆盖了她的整个博士阶段与助理教授阶段。合作成果包括：STOC 2009《A New Approach to Auctions and Resilient Mechanism Design》、ITCS 2010《Robustly Leveraging Collusion in Combinatorial Auctions》（与 Paul Valiant 合著）、FOCS 2011《Mechanism Design with Set-Theoretic Beliefs》、JET 2012《Collusive Dominant-Strategy Truthfulness》、Theoretical Economics 2013《The Order Independence of Iterated Dominance in Extensive Games》、Econometrica 2015《Tight Revenue Bounds with Possibilistic Beliefs and Level-k Rationality》（与 Rafael Pass 合著）、JET 2015《Mechanism Design with Possibilistic Beliefs》、ITCS 2015《Better Outcomes from More Rationality》、ITCS 2016《Auction Revenue in the General Spiteful-Utility Model》、Games 2016，以及最重要的 Algorand 系列（arXiv 2016、TCS 2019）。这一合作链条的密度与持续时间在师生关系中都属罕见，说明陈婧在博士毕业后长期保持着 Micali 最核心合作者的地位，并共同参与了 Algorand 的创立与理论建构。

Rafael Pass（康奈尔大学/康奈尔科技校区教授，后转至哥本哈根大学）——与陈婧、Micali 合著 Econometrica 2015 和 ITCS 2015 两篇论文。Pass 是密码学与博弈论交叉领域的国际知名学者，也是区块链共识理论的重要研究者。

Pablo Azar（MIT 博士，现供职于美联储纽约分行）——与陈婧、Micali 合著 ITCS 2012《Crowdsourced Bayesian Auctions》，属于 MIT 同门。

Avinatan Hassidim（现为 Google Research 研究员、巴伊兰大学教授）——与陈婧、Micali 合著 ITCS 2010《Robust Perfect Revenue from Perfectly Informed Players》。

Paul Valiant（现为普渡大学副教授）——与陈婧、Micali 合著 ITCS 2010《Robustly Leveraging Collusion in Combinatorial Auctions》。

第二层：石溪—香港—内地的算法博弈论网络

李博（香港理工大学）与李颖楷构成了陈婧最高频的合作三角，前文已述。

陆品燕（Pinyan Lu）——上海财经大学理论计算机科学研究中心主任、讲席教授，中国算法博弈论领域的领军人物之一。与陈婧、李博、李颖楷合著 ICALP 2018 与 AIJ 2022 的《Bayesian Auctions with Efficient Queries》。这是陈婧与中国内地学者最重要的一条合作纽带，也是她回国前就已建立的国内学术连接。

吴晓伟（Xiaowei Wu）——与陈婧、Hau Chan、李博合著 IJCAI 2019《Maximin-Aware Allocations of Indivisible Goods》，现任澳门大学助理教授（推测）。

邓小铁（Xiaotie Deng）——北京大学讲席教授、欧洲科学院外籍院士、ACM Fellow、IEEE Fellow、CSIAM 区块链专委会主任。二人的连接有两个层次：其一是学术上的，早在 2007—2008 年就共同署名了 ACNS 2007 与 TCS 2008 两篇密码学论文（当时邓小铁在香港城市大学）；其二是学术组织上的，邓小铁担任 CSIAM 区块链专委会主任，而陈婧担任该专委会副主任/副会长，二人在 CSIAM 2026 区块链与金融科技算法联合学术年会中分别担任大会主席与程序委员会主席。邓小铁是陈婧回国后在国内学术界最重要的支持者与合作伙伴，二人的关系跨越了近二十年（推测邓小铁在陈婧硕士阶段即为其提供过指导）。

第三层：其他国际合作者

Mark Braverman（普林斯顿大学教授，2022 年 EMS 奖得主、信息复杂性理论权威）与 Sampath Kannan（宾夕法尼亚大学教授）——与陈婧合著 ITCS 2014 与 Mathematics of Operations Research 2016 的《Optimal Provision-After-Wait in Healthcare》。这一系列研究将机制设计应用于医疗资源分配（排队等待与优先权的权衡），是其研究谱系中社会应用色彩最强的一支。

Baek Dohyun 与 Bong Jun Choi——与陈婧合著 IEEE Internet of Things Journal 2020《Small Profits and Quick Returns》，研究平台持续竞争下的众包激励机制设计。Bong Jun Choi 现任韩国崇实大学（Soongsil University）教授，这是陈婧与韩国学界的合作纽带。

Thomas Robertazzi（石溪大学电子与计算机工程系教授）与 Kevin A. Brown（布鲁克海文国家实验室 / 阿贡国家实验室）——合著 PRAB 2019 与 ICALEPCS 2017，方向为大型分布式控制系统的强化学习调度。这条线索连接的是美国国家实验室系统，属于跨学科（物理加速器控制）合作。

Grigore Roșu（伊利诺伊大学厄巴纳-香槟分校教授、Runtime Verification 公司创始人）、Musab A. Alturki、Victor Luchangco、Brandon Moore、Karl Palmskog、Lucas Peña——共同完成 FMBC 2019《Towards a Verified Model of the Algorand Consensus Protocol in Coq》。这是形式化验证领域与 Algorand 工程团队的联合工作，Victor Luchangco 是 Algorand 的资深研究员（此前在 Oracle Labs 与 Sun Microsystems 工作多年），Grigore Roșu 团队则提供 K 框架与 Coq 形式化验证的能力。

Gaurav Srinivasan——与 Hau Chan、陈婧合著 TEAC 2017。

A. Zinger——与陈婧合著 Journal of Theoretical Biology 2014《The Robustness of Zero-Determinant Strategies in Iterated Prisoner's Dilemma Games》。这篇发表在理论生物学期刊上的论文体现了陈婧研究兴趣的宽度——将博弈论方法应用于演化生物学中的重复囚徒困境问题。

Guomin Yang、Duncan S. Wong、Man Ho Au、Joseph K. Liu、Yi Mu——早期密码学时期（2007—2008）的合作者群体，主要来自香港城市大学与澳大利亚卧龙岗大学。Guomin Yang 现为澳大利亚西悉尼大学/新加坡管理大学教授（推测），Man Ho Au 现为香港大学教授，Joseph K. Liu 现为莫纳什大学教授。这一群体构成了陈婧学术生涯的"史前史"，虽然与她后来的主攻方向不同，但在区块链密码学层面存在潜在的重新连接空间。

（三）合作网络的结构特征

陈婧的合作网络呈现出典型的"单核心 + 多分支"结构。核心是与 Micali 长达十年的深度绑定，分支则包括石溪时期自己培养的学生团队（李博、李颖楷等）、跨校理论合作（Braverman、Kannan、Pass、陆品燕）、以及工业界与国家实验室的应用合作（Algorand 工程团队、布鲁克海文国家实验室）。

与大多数系统方向的教授相比，她的合作者数量偏少但单个合作的深度极高——同一组合作者往往连续合作三到六篇论文，且跨越会议与期刊两个层次（先在 ICALP/ITCS/AAMAS 发会议版本，再扩展为 SICOMP/AIJ/TEAC 期刊版本）。这是理论计算机科学领域的典型发表模式。

五、业界合作关系深度分析

陈婧的业界合作在清华计算机系的教师中属于极为特殊的一类——她不是通过横向课题或联合实验室与企业合作，而是直接出任一家国际知名区块链公司的首席科学家，并且是该公司核心技术的共同发明人。

（一）Algorand：从论文到公司的完整链条

Algorand 是由 Silvio Micali 于 2017 年创立的第一层（Layer 1）公链项目，其核心技术目标是解决所谓的"区块链不可能三角"（blockchain trilemma）——即可扩展性、安全性、去中心化三者不可兼得的假说。Algorand 采用纯权益证明（Pure Proof-of-Stake, PPoS）共识机制，通过可验证随机函数（VRF）在每一轮随机、秘密地选出区块提议者与投票委员会，从而在不消耗大量算力的前提下实现快速最终确定性（约 4 秒）与不分叉的保证。目前该网络每秒可处理约 1000 至 5000 笔交易，交易费用平均不到半美分，自 2021 年起维持碳中和。

陈婧在这一链条中的角色贯穿始终：

理论奠基阶段（2016）：2016 年 7 月，陈婧与 Micali 共同署名的 Algorand 白皮书发布于 arXiv（编号 1607.01341）。这份白皮书是 Algorand 协议的原始文献，提出了基于消息传递拜占庭协议（message-passing Byzantine agreement）的公共账本设计。值得注意的是，在这份奠基性文献上，陈婧是共同第一作者（署名顺序为 Jing Chen, Silvio Micali）。

公司任职阶段（2017 年前后至 2024）：Algorand 公司成立后，陈婧出任首席科学家（Chief Scientist）兼理论研究主管（Head of Theory）。这是公司技术体系中的最高理论职位，负责协议的理论设计、安全性证明与研究方向规划。据清华官方报道，她在石溪大学任教期间与团队"从第一性原理出发，设计并证明了一个全新的共识协议，推翻了区块链不可能三角假说"，这一表述指向的正是 Algorand 的 PPoS 共识机制及其理论证明。

理论完善阶段（2019）：Algorand 协议的完整学术版本《Algorand: A secure and efficient distributed ledger》发表于 Theoretical Computer Science 第 777 卷，页码 155-183。这标志着该协议的安全性与效率论证通过了理论计算机科学界的同行评议。

形式化验证阶段（2019）：陈婧参与了《Towards a Verified Model of the Algorand Consensus Protocol in Coq》，发表于第一届区块链形式化方法研讨会（FMBC 2019）。这项工作试图用 Coq 定理证明器对 Algorand 共识协议进行机器可验证的形式化建模，合作方包括 Runtime Verification 公司创始人 Grigore Roșu 的团队与 Algorand 内部的 Victor Luchangco。这体现了从"纸笔证明"到"机器验证"的工程化推进。

（二）产学研模式的特征分析

陈婧的产学研模式与国内高校常见的模式有显著差异，值得单独剖析。

其一，是"理论输出型"而非"技术转化型"。国内高校教师的产学研合作通常是把实验室的原型系统转化为企业产品，而陈婧的贡献是提供协议的理论设计与安全性证明——即为一个价值数十亿美元的公链系统提供数学正确性保障。这种合作的核心资产是定理与证明，而非代码与专利。

其二，是"创始层参与"而非"顾问式参与"。她在 Algorand 白皮书上的共同第一作者身份，意味着她不是公司成立后被聘请的外部顾问，而是从技术源头开始参与的核心创始成员之一。她与创始人 Micali 的师生关系进一步强化了这一点。

其三，是"双轨并行"的时间安排。从 2016 年到回国前，她同时保有石溪大学的教职与 Algorand 的首席科学家职位。她本人对此的表述是"既要有学术界做理论研究的思维，也要有工业界做实用产品的视角"，这一"学术界+工业界"双重视角也是清华引进她时着重强调的价值点。

其四，具备潜在的应用外溢。除 Algorand 外，她的部分研究本身就带有明确的产业应用指向：与韩国学者合作的众包激励机制设计（IoT Journal 2020）面向的是众包平台的竞争环境；与布鲁克海文国家实验室合作的分布式控制系统调度研究面向的是大型科学装置的运维；医疗资源分配的 Provision-After-Wait 系列（MOR 2016、TEAC 2017、AAMAS 2016）则面向公共医疗政策设计。这些工作显示她并不局限于纯理论，而是持续寻找机制设计的落地场景。

（三）回国后的产业连接

回国后，陈婧的产业关系呈现出从"美国工业界"向"中国产业生态"重构的趋势，但目前尚处早期阶段。

从其学术兼职可以看出连接的方向：她担任 CSIAM 区块链专委会副主任/副会长，而该专委会的活动深度联结产业界——2025 年 CSIAM 区块链技术与应用论坛的参与方包括天河国云、华为、溪塔科技等企业，CSIAM 2026 联合学术年会的副主席之一是湖南天河国云科技有限公司副总经理刘齐军。她担任 CCF 计算经济学专委会执委，并在 2025 年 4 月首届 CCF 算法大会上与山东大学成秀珍教授共同主持"区块链与信息前沿探索"分论坛，该论坛"汇聚了来自学术界、产业界及政府机构的百余位专家学者"。

据其回国报道，她判断"国内在区块链领域有了很多进展，但在最前沿的技术方面还缺少一些核心的理论支撑"，认为自己积累的学识与经验"恰能填补这片空白"。这一自我定位表明，她在国内的产业角色更可能是为国家级区块链基础设施与数字金融体系提供底层理论支撑，而非再度深度参与某家具体公司的运营。截至目前，公开渠道未检索到她与国内特定企业签署合作协议或出任企业职务的记录。

六、重要奖项与学术兼职

（一）奖项与荣誉

陈婧的清华官方主页在"奖励与荣誉"一栏中仅列出一项：NSF CAREER Award（美国国家科学基金会职业成就奖），2016 年。这一奖项是美国国家科学基金会授予青年教师的最高荣誉之一，用于表彰在研究与教育两方面都展现出卓越潜力的学者，通常包含为期五年的科研资助。对于理论计算机科学方向的助理教授而言，获得 CAREER Award 是通往终身教职的关键里程碑。

除此之外的荣誉性认可包括：

国家海外高层次人才计划入选者——中国计算机学会（CCF）数字图书馆的个人条目中明确记载这一身份，是其回国引进的人才计划依据。
清华大学长聘教授（Tenured Professor），2024 年 1 月 8 日由校长李路明亲自颁发聘书。清华的长聘教授聘任仪式规格较高，由校长直接颁证。
博士期间成果被写入认知博弈论教材——虽非正式奖项，但研究成果进入学科教材是理论工作获得学界共识的重要标志，清华官方报道多次强调这一点。

需要如实说明的是，公开渠道未检索到陈婧获得过 IEEE Fellow、ACM Fellow、CCF 会士等学会 Fellow 荣誉，也未检索到国家自然科学奖、教育部科技奖等国内科技奖项的获奖记录。考虑到她 2025 年才全职回国，国内奖项体系中的空白属于正常现象。

（二）期刊编委职务

ACM Transactions on Economics and Computation（TEAC）副主编（Associate Editor），2021 年至今。TEAC 是计算经济学与算法博弈论领域的旗舰期刊，由 ACM 与 ACM SIGecom 主办。担任该刊副主编意味着她在这一领域已获得国际同行的核心认可。这也是其清华官方主页"社会兼职"一栏中唯一列出的职务。
Blockchain 期刊副主编——据 CCF 数字图书馆条目记载。

（三）学术组织与专委会职务

中国工业与应用数学学会（CSIAM）区块链专业委员会副主任 / 副会长。该专委会主任为北京大学邓小铁讲席教授。在 CSIAM 2026 区块链与金融科技算法联合学术年会中，陈婧以"清华大学教授，CSIAM 区块链专委会副主任"的身份担任程序委员会主席（与广州南方学院副校长刘文斌并列）。
中国计算机学会（CCF）计算经济学专业委员会执行委员。

（四）会议服务

CSIAM 2026 区块链与金融科技算法联合学术年会：程序委员会主席。该会议的大会主席包括邓小铁（欧洲科学院外籍院士）、陈钟（北京大学区块链研究中心主任）、汤涛（中国科学院院士、欧洲科学院院士）、黄琼（广东金融学院副校长）等，规格甚高。
首届 CCF 算法大会"区块链与信息前沿探索"分论坛联合主席（2025 年 4 月 20 日，宁波），与山东大学计算机科学与技术学院暨人工智能学院院长成秀珍教授共同担任。
多次担任计算理论、计算博弈论、安全、区块链等领域重要国际会议的程序委员会（PC）成员。CCF 数字图书馆与多家媒体报道均提及这一点，但公开渠道未检索到具体的会议清单与年份，故本报告不做逐项罗列。

（五）受邀报告

2023 第三届网络经济博弈论坛（香港中文大学·深圳）主旨演讲。同场主旨演讲者为北京大学王鹏飞教授与香港中文大学（深圳）王子卓教授，专题报告者包括其学生李博（香港理工大学助理教授）。
清华大学计算机系高性能所"人工智能时代的计算机系统研讨会"报告，题目为《基于随机选择的最大化信息传播机制》（Maximal Information Propagation via Lotteries）。

七、Connection 圈层总结

综合上述信息，可以将陈婧的学术关系网络归纳为五个由内而外的圈层。这一网络的最鲜明特征是：师承极强、国际根基深厚、国内网络新建、所内连接稀薄。

第一圈层：师承核心（权重最高，不可替代）

这一圈层只有一个人：Silvio Micali。他既是陈婧的博士导师，也是她十年间最频繁的合作者，还是她任职首席科学家的公司 Algorand 的创始人。从 2009 年的 STOC 到 2019 年的 TCS，二人的合作横跨博弈论理论（Econometrica、JET、TE）、机制设计（STOC、FOCS）与区块链系统（Algorand）三大板块。这一层关系不仅决定了她的研究议程与方法论，也直接塑造了她的职业路径（MIT 博士 → 石溪教职 → Algorand 首席科学家）。图灵奖得主的师承为她带来了国际学术界的高度信任背书，也是清华引进她时的核心考量之一。

在这一圈层的外缘还有 MIT 理论组的"同门与近邻"：Rafael Pass（Econometrica 论文的共同作者）、Pablo Azar、Avinatan Hassidim、Paul Valiant。他们与陈婧的合作都以 Micali 为共同节点，构成了 MIT 理论组的密集小世界。

第二圈层：石溪时期自建的学生与团队网络

这是陈婧作为独立学者建立的第一个"自己的"网络，也是她学术影响力再生产的主要载体。

核心成员是"J. Chen, B. Li, Y. Li"这一稳定三角：李博（现香港理工大学副教授，已独立带组）与李颖楷。这一组合从 ICALP 2017 一直合作到 AIJ 2022，覆盖在线分散问题、贝叶斯拍卖、双边市场经纪人利润最大化、信息传播机制等多个主题，是陈婧论文清单中出现频次最高的合作模式。李博的独立成功（从石溪博士 → UT Austin/牛津博士后 → 港理工副教授，现带领 8 人以上的课题组）标志着陈婧学术谱系的成功延续。

次核心成员是"理性证明"小组：Shikha Singh 与 Samuel McCauley（现均在威廉姆斯学院任教），三人合作了 ITCS 2016、SAGT 2018、ESA 2019 三篇论文。

同机构青年合作者：Hau Chan（现内布拉斯加大学林肯分校助理教授）。需再次强调，他的博士导师是石溪的 Luis Ortiz 而非陈婧，但二人合作论文多达五篇以上（AAMAS 2016 两篇、WINE 2014、TEAC 2017、IJCAI 2019），是陈婧石溪时期最重要的平级合作伙伴。Hau Chan 如今在 AI for Social Good 与机制设计领域颇为活跃（IJCAI 2022 Early Career Spotlight、多届 AAMAS/IJCAI/AAAI 会议组织者），是这一圈层向外辐射的关键节点。

跨系合作者：Thomas Robertazzi（石溪 ECE 系）与 Yang Gao，通过布鲁克海文国家实验室的 Kevin A. Brown 连接到美国国家实验室系统。

第三圈层：国际理论学术共同体

Mark Braverman（普林斯顿）与 Sampath Kannan（宾大）——通过 Provision-After-Wait 系列（ITCS 2014、MOR 2016）建立的连接，属于顶级理论学者之间的对等合作。

Grigore Roșu（UIUC 教授、Runtime Verification 创始人）团队与 Victor Luchangco（Algorand）——形式化验证方向的工程—理论跨界连接。

Bong Jun Choi（韩国崇实大学）与 Dohyun Baek——韩国方向的合作纽带，方向为物联网众包激励机制。

A. Zinger——演化生物学与博弈论交叉方向（JTB 2014）。

这一圈层的共同特征是：合作频次低（多为一到两篇）但发表载体规格极高，反映了理论学者之间"因问题而聚、问题解决即散"的合作文化。

第四圈层：中国算法博弈论与区块链共同体（回国后的主战场）

这一圈层是陈婧回国后正在快速强化的网络，其枢纽人物是邓小铁。

邓小铁（北京大学讲席教授、欧洲科学院外籍院士、ACM Fellow、IEEE Fellow、CSIAM 区块链专委会主任）与陈婧的关系有两条独立的历史线索汇合：一是 2007—2008 年在香港城市大学时期的密码学论文合作（ACNS 2007、TCS 2008），二是当下 CSIAM 区块链专委会的正副主任搭档关系。邓小铁是中国算法博弈论与计算经济学领域的开创者，也是 WINE、IJTCS 等国际会议的发起人。陈婧在这一圈层中的定位可以理解为邓小铁体系中的"理论主力"。

陆品燕（上海财经大学理论计算机科学研究中心主任、讲席教授）——通过 ICALP 2018 与 AIJ 2022 建立的实质学术合作，是陈婧与内地理论计算机科学界最扎实的一条论文级连接。

成秀珍（山东大学计算机科学与技术学院暨人工智能学院院长）——2025 年首届 CCF 算法大会分论坛的联合主席搭档。

CSIAM/CCF 组织网络：通过 CSIAM 区块链专委会（主任邓小铁、秘书长程郁琨/江南大学）与 CCF 计算经济学专委会、CCF 区块链专委会（秘书长孙毅），陈婧连接到了陈钟（北京大学区块链研究中心主任）、汤涛（中国科学院院士）、郑志明（中国科学院院士、北航教授）、马超群（湖南大学，教育部"高性能分布式账本与数字金融"重点实验室主任）、杨征（北京大学长沙计算与数字经济研究院）等国内区块链领域的核心人物，以及天河国云、华为、溪塔科技等产业界节点。

李博（香港理工大学）在这一圈层中兼具双重身份——既是陈婧的学生，也是活跃在粤港澳大湾区算法博弈论学术圈的独立学者，是连接第二圈层与第四圈层的桥梁。2023 年网络经济博弈论坛上师生同台就是明证。

第五圈层：工业界与产业生态

Algorand 生态是陈婧最深的产业连接：白皮书共同第一作者、首席科学家兼理论研究主管、协议核心设计者。相关人物包括创始人 Micali、资深研究员 Victor Luchangco，以及形式化验证合作方 Runtime Verification。这一层关系的资产是"共识协议的理论所有权"，而非普通的技术顾问关系。

回国后的国内产业连接目前主要通过 CSIAM/CCF 的专委会平台间接建立，尚未见到与特定企业的直接合作记录。考虑到她"填补国内区块链前沿理论空白"的自我定位，未来更可能扮演国家级数字金融与区块链基础设施的理论顾问角色（推测）。

圈层结构的整体判断

陈婧的关系网络与高性能所其他教师（如武永卫、翟季冬）形成了鲜明对照。后者的网络是"以清华高性能所为圆心向外辐射"的同心圆结构，所内合作最密、国内次之、国际最疏；而陈婧的网络是"以 MIT 与石溪为双重圆心、以清华为新落点"的偏心结构，所内合作几乎为零，国际合作最密。

这一结构带来的启示是：她在清华高性能所内是一个"高价值但低耦合"的节点。高价值体现在她带来了图灵奖师承、Econometrica 级别的理论产出、以及一条真实运行的公链的核心技术所有权，这些在国内计算机学界都是稀缺资源；低耦合则体现在她与所内既有的并行计算、存储系统、体系结构方向缺乏共同的技术语言与合作基础。

未来这一网络的演化方向，取决于两个变量：一是她在清华培养的首批博士生能否形成一个本土的计算经济学团队（预计 2028—2030 年见分晓）；二是她能否在"区块链共识协议理论 + 分布式系统工程实现"这一接口上，与所内的章明星、陆游游等分布式系统方向的中青年教师建立起实质性合作，或者与清华交叉信息研究院、经管学院数字金融资产研究中心等更对口的单位形成跨院系的常态化协作。若后者发生，她将从"建制上的高性能所成员"转变为"清华计算经济学交叉方向的实际组织者"（推测）。

清华高性能所 陈婧 教授