上交TCS 傅育熙教授

报告生成时间：2026年8月20日
个人主页：Yuxi Fu
所属团队：上海交通大学计算机科学与工程系 / 理论计算机科学研究所

一、学者基本信息

字段	内容
姓名	傅育熙（Yuxi Fu）
职称	特聘教授、博士生导师
所属单位	上海交通大学计算机科学与工程系
所属研究所	理论计算机科学研究所（BASICS实验室）
实验室职务	BASICS（Basic Studies in Computing Science）实验室主任
电子邮件	fu-yx@cs.sjtu.edu.cn
办公地址	软件学院1306室
研究方向	理论计算机科学：形式化方法与程序语言理论、模型检测的算法复杂性及应用、并发理论及其应用、交互理论（Theory of Interaction）、向量加法系统（VASS）可达性
期刊编委	Mathematical Structures in Computer Science（MSICS）
代表性荣誉	国家杰出青年科学基金（2002）；上海市科技进步二等奖；国家级教学成果二等奖（2023）
公开主页	个人主页、软件学院教师页、CS学院教师页

傅育熙是上海交通大学理论计算机科学领域的资深学者和BASICS实验室的创始主任。他的学术定位可概括为：以进程演算和交互理论为核心，研究计算模型的表达能力与等价性问题，同时将理论工具应用于形式化验证中的可判定性与复杂性问题。他是上海交通大学软件理论研究的奠基人，也是国内理论计算机科学界具有重要行政影响力的学者之一。根据上海交大教师系统记录，他已培养93名毕业研究生，目前在校生7人，是TCS研究所中培养学生数量最多的教师。

二、教育背景与职业履历

2.1 教育经历

时间	学校	院系/专业	学位	导师
1988 - 1992	英国曼彻斯特大学（University of Manchester）	计算机系	博士	David Rydeheard
1982 - 1986	同济大学	计算机系	工学学士	—

傅育熙于1986年获同济大学计算机系工学学士学位后，1988年由国家教委公派赴英国曼彻斯特大学计算机系攻读博士学位，师从 David Rydeheard 教授。曼彻斯特大学计算机系是英国计算机科学的重要基地，David Rydeheard 的研究方向涉及程序语言的代数语义和范畴论在计算机科学中的应用。这一学术背景深刻影响了傅育熙后续以类型论和语义学为起点的理论计算机科学研究路线。

2.2 职业履历

时间	单位	职务
1994.01 - 至今	上海交通大学计算机科学与工程系	教授
1999 - 2009	上海交通大学计算机科学与工程系	系主任
2001 - 2013	上海交通大学软件学院	院长
1992 - 1994	（回国过渡期）	—

傅育熙自1994年起在上海交通大学工作至今，长达30余年。他先后担任计算机系主任（1999-2009，十年任期）和软件学院院长（2001-2013，十二年任期），是上海交通大学计算机学科发展的重要推动者。在他的领导下，BASICS实验室发展成为涵盖理论计算机科学多个方向的重要研究团队。

2.3 研究演进与代表性成果

傅育熙的研究兴趣经历了清晰的演变路径：类型论与语义学 → 进程演算 → 交互理论 → 验证中的可判定性。

阶段	时间	核心主题	代表性论文
类型论与语义学	1996-2001	构造性类型、逻辑框架的范畴性质	Semantics of Constructions（JCST, 2001）；Categorical Properties of Logical Frameworks（MSCS, 1997）
进程演算	1997-2010	χ-演算、π-演算的互模拟与表达力	The χ-calculus（APDC, 1997）；On the Expressiveness of Interaction（TCS, 2010）
交互理论	2010-2022	模型无关的计算与交互统一框架	Theory of Interaction（TCS, 2016）；A Thesis for Interaction（TCS, 2022）
验证与复杂性	2013-至今	无穷状态系统的等价性检验、VASS可达性	Checking Equality and Regularity for Normed BPA（ICALP, 2013）；Improved Algorithm for Reachability in d-VASS（ICALP, 2024）

以下选取若干关键节点论文，体现研究演进与合作网络：

时间	代表成果	合作者	研究意义
1997	The χ-calculus，APDC 1997	独立作者	提出χ-演算，这是傅育熙在进程演算领域的原创性贡献，奠定了其后续20余年研究的理论基础。
2003	Tau laws for pi calculus，TCS 308	Zhengrong Yang	系统建立了π-演算的τ-定律体系，是进程演算代数理论的重要工作。
2011	The λ-Calculus in the π-Calculus，MSCS 21	Xiaojuan Cai	证明了λ-演算可在π-演算中编码，回答了进程演算理论中的基本表达力问题。
2014	Branching Bisimilarity Checking for PRS，ICALP 2014	Qiang Yin、Chaodong He、Mingzhang Huang、Xiuting Tao	在进程重写系统框架中研究分支互模拟的可判定性，是无穷状态系统验证的重要成果。
2016	Theory of Interaction，TCS 611	独立作者	提出交互理论的统一框架，以模型无关的方式定义计算与交互的表达力关系和等价关系，是傅育熙学术思想的系统性总结。
2024	Improved Algorithm for Reachability in d-VASS，ICALP 2024	Qizhe Yang、Yangluo Zheng	将固定维度向量加法系统（d-VASS）的可达性复杂性上界从F^{d+4}改进至F_d，首次明确定义了几何维度概念。
2025	A Programming Language for Feasible Solutions，SAS 2025	Weijun Chen、Huan Long	设计了一种面向可行解的编程语言，将理论成果与高可靠编译器设计结合。
2026	On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity，FAC 38(2)	Hao Wu、Huan Long、Xian Xu、Wenbo Zhang	研究非确定概率模型的发散性理论，深化了概率并发模型的分析框架。

三、学生培养情况

傅育熙是TCS研究所中培养学生数量最多的教师。根据上海交通大学教师系统记录，他已培养毕业研究生93人，目前在读7人。以下根据公开论文署名和已知信息整理其学术谱系：

3.1 已毕业并在学术界任职的学生

学生	博士毕业年份	现职	研究方向	与傅育熙的关系
董笑菊（Xiaoju Dong）	2004	上交TCS研究所副教授、副所长	并发理论、膜计算、可视化	博士论文《带非对称Chi演算中失配的公理化系统》，现为同研究所同事
徐贤（Xian Xu）	2008	华东理工大学副教授	并发理论、进程演算	在BASICS实验室完成博士论文，后赴ECUST任教
符鸿飞（Hongfei Fu）	—	上交TCS研究所（"新型程序理论"方向）	程序理论、概率互模拟	合著FSEN 2011论文，现为同研究所成员
龙环（Huan Long）	2009	上交TCS研究所副教授	并发系统、验证	合著多篇ICALP/SAS/FAC论文，现为同研究所核心成员
尹强（Qiang Yin）	—	上交TCS研究所长聘教轨副教授	数据查询处理和优化、验证	合著ICALP 2014论文，现为同研究所成员
何朝东（Chaodong He）	—	—	进程演算、验证	合著ICALP 2014和FSEN 2011论文
张驰豪（Chihao Zhang）	2016	上交TCS研究所长聘副教授	采样算法、概率论	博士论文导师为傅育熙和陆品燕联合指导

3.2 近期合作的学生

学生	合作论文	研究方向
Weijun Chen（陈伟军）	SAS 2025、TCS 2026	可行解编程语言、概率测试等价
Qizhe Yang（杨哲齐）	ICALP 2024、TCS 2022	VASS可达性、非确定性计算计数
Yangluo Zheng（郑阳洛）	ICALP 2024	VASS可达性
Hao Wu（吴昊）	FAC 2026	概率分支互模拟的发散性

3.3 学生培养成果总结

傅育熙的学生培养具有鲜明的"留校传承"特征——其多位博士毕业后留在上海交通大学TCS研究所任教，形成了清晰的学术传承谱系。董笑菊（副教授、副所长）、龙环、符鸿飞、尹强等均为其直接培养的博士并留校工作。这种"自培养—留校—传承"的模式使BASICS实验室的理论传统得以延续和发展。同时，也有学生如徐贤赴华东理工大学等院校任教，将BASICS的学术影响力辐射至其他高校。

93名毕业研究生的培养规模在国内理论计算机科学领域极为罕见，体现了傅育熙在人才培养方面的系统性投入。

四、学术合作网络

4.1 内部：上海交通大学TCS研究所

BASICS实验室创始人与学术传统奠基者。 傅育熙是BASICS实验室的创始主任，该实验室是上海交通大学理论计算机科学研究的核心基地。当前TCS研究所的成员中，多位教师与傅育熙存在直接或间接的学术传承关系：

教师	职称	与傅育熙的关系	研究方向
陈翌佳	长聘教授、所长	同为BASICS资深成员；陈翌佳1995-2000年在上交攻读博士期间，傅育熙已是实验室核心教师	逻辑、复杂性、算法图论
董笑菊	副教授、副所长	博士生（2004年毕业）	并发理论、形式化方法
龙环	副教授	博士生（2009年毕业）	并发系统建模与验证
符鸿飞	副教授	博士生	新型程序理论
尹强	长聘教轨副教授	博士生	数据查询处理和优化
张驰豪	长聘副教授	博士生（与陆品燕联合指导，2016年毕业）	采样算法、概率论

组内合作关系。

与董笑菊（Xiaoju Dong）：董笑菊是傅育熙直接指导的博士生（2004年毕业），二人合著了多篇关于χ-演算和Extensional Petri Net的论文（如APLAS 2003、Formal Aspects of Computing 2018）。董笑菊现为研究所副所长，是傅育熙学术传承的核心节点。
与龙环（Huan Long）：龙环是傅育熙的学生，现为同研究所同事。二人合著了多篇关于验证和概率并发模型的论文（SAS 2025、TCS 2026、ICALP 2024等），是研究所内最活跃的师生合作组合。
与符鸿飞（Hongfei Fu）：合著FSEN 2011论文，研究进程演算中名称作用域的行为等价性可判定性。符鸿飞现在研究所负责"新型程序理论"方向。
与尹强（Qiang Yin）：合著ICALP 2014论文，研究进程重写系统的分支互模拟检验。尹强现为研究所长聘教轨副教授。
与张驰豪（Chihao Zhang）：傅育熙是张驰豪的博士导师之一（与陆品燕联合指导）。张驰豪的研究方向从博士阶段的计数算法和参数复杂性发展到当前的高维概率和采样算法，体现了BASICS实验室从纯理论向概率方法拓展的学术取向。

4.2 跨机构：国内合作

与陆品燕（Pinyan Lu）的联合指导网络。 张驰豪的博士论文由傅育熙和陆品燕联合指导，这一合作连接了上海交大BASICS实验室和上海财经大学理论计算机科学研究所（ITCS）。陆品燕是计数与采样领域的国际权威，这一联合指导关系将BASICS的并发理论与ITCS的计数复杂性建立了桥梁。
上海高校软件理论研究中心网络。 傅育熙担任上海高校软件理论研究中心主任，该中心是上海市层面的软件理论研究协调平台，连接了上海地区多所高校的软件理论研究者。
教育部计算机类专业教学指导委员会网络。 傅育熙担任教育部计算机类专业教学指导委员会副主任（2013-2017，2018年至今），在这一平台上与全国计算机科学教育领域的学者保持广泛联系。2025年12月，他在全国高等学校计算机课程教育大会上致辞，提出计算机专业教育的模块化和开放性思路。
国务院学位委员会学科评议组。 傅育熙曾任国务院学位委员会第六届学科评议组成员（2010-2014），参与计算机科学与技术学科的学位标准制定和评估工作，在这一层面与国内计算机科学领域的顶尖学者保持制度性联系。

4.3 国际合作

傅育熙的国际合作网络主要包括以下路径：

英国曼彻斯特大学学术谱系。 傅育熙的博士导师 David Rydeheard 是曼彻斯特大学计算机系的理论计算机科学学者，研究方向涉及范畴论在程序语言语义中的应用。这一曼彻斯特学术背景将傅育熙的理论根基连接到英国类型论和范畴语义的学术传统。
Daniele Varacca（意大利）。 傅育熙与 Varacca 合著了 Extensional Petri Net（Formal Aspects of Computing, 2018），Varacca 是意大利罗马第一大学的理论计算机科学学者，研究领域涉及并发模型和 Petri 网。这一合作体现了 BASICS 实验室在并发理论方向的国际连接。
亚洲软件基础协会（AAFS）。 傅育熙是亚洲软件基础协会（Asian Association for Foundations of Software）的执行委员，通过这一平台与日本、韩国等亚洲国家的软件理论基础研究者保持学术联系。
ICALP 会议网络。 傅育熙及其团队多次在 ICALP（国际自动机、语言与程序设计会议）发表论文（2013、2014、2024），ICALP 是理论计算机科学最重要的国际会议之一。2024年的 VASS 可达性论文代表了其团队在该方向的前沿工作。
多国合作网络。 根据 BASICS 实验室介绍，该实验室与法国、意大利、德国、日本、美国、英国、新加坡等多国研究机构建立了合作关系。

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

傅育熙及其领导的BASICS/高可靠软件与理论研究所与产业界保持了密切的交流关系：

企业合作关系。 根据百度百科条目和实验室介绍，研究所与微软、英特尔、谷歌、IBM、Oracle、百度、腾讯等企业有密切联系。这些合作主要体现在学术交流和人才培养层面，而非具体的技术转化项目。
973计划项目。 傅育熙主持了国家重点基础研究发展计划（973）项目"语义网格的基础理论、模型与方法研究"（2004-2006），这类国家级基础研究项目虽非直接业界合作，但体现了其在国家战略层面的科研影响力。
区块链安全研究。 根据教师系统记录，傅育熙近期承担了"面向复杂开源联盟链间多层次跨链需求的安全隐私跨链技术研究"（2024.10-2025.09）和"开源联盟链隐私保护协议的UC安全性研究"（2024.10-2025.09）两项区块链相关项目，体现了其将理论工具应用于新兴技术领域的研究取向。
高可靠编译器研究。 傅育熙近期工作之一是"一类高可靠编译器的设计、证明与实现"，这类研究将形式化方法应用于工业级软件工具，具有直接的工程价值。

六、重要奖项与学术兼职

6.1 重要奖项

时间	奖项/荣誉	颁发机构	备注
2002	国家杰出青年科学基金	国家自然科学基金委	理论计算机科学方向
—	上海市科技进步二等奖	上海市政府	具体年份待确认
2019	"高校计算机专业优秀教师奖励计划"	—	《计算复杂性理论》课程获奖
2023	国家级教学成果二等奖	教育部	—

6.2 学术与行政兼职

类型	具体职务	时间
期刊编委	Mathematical Structures in Computer Science	现任
行政职务	上海交通大学计算机科学与工程系主任	1999-2009
行政职务	上海交通大学软件学院院长	2001-2013
学术兼职	国务院学位委员会第六届学科评议组成员	2010-2014
学术兼职	上海市计算机学会理事长	2015-2018
学术兼职	教育部计算机类专业教学指导委员会副主任	2013-2017，2018至今
学术兼职	上海高校软件理论研究中心主任	现任
学术兼职	全国示范性软件学院院长联席会主席	曾任
学术兼职	亚洲软件基础协会（AAFS）执行委员	现任
实验室职务	BASICS实验室主任	现任

6.3 教材与教学

傅育熙著《计算复杂性理论》于2023年出版，是其长期开设同名课程（"计算复杂性I"和"计算复杂性II"）的教学结晶。他长期在上海交通大学承担计算复杂性课程的教学工作（2023-2026学年均有开课记录），该课程于2019年获"高校计算机专业优秀教师奖励计划"认可。

七、Connection圈层总结

傅育熙的学术关系网络呈现出以上海交通大学BASICS实验室为基地，以进程演算和交互理论为学术主线，以行政职务为影响力延伸的圈层结构。他是上海交通大学理论计算机科学研究的奠基人和长期推动者，其影响力覆盖了学术研究、人才培养和学科管理三个维度。

第一圈层（核心学术传承）： - 董笑菊（上交TCS副所长）：傅育熙直接培养的博士生，现为同研究所副所长，是并发理论方向的学术传承核心。 - 龙环、符鸿飞、尹强：均为傅育熙培养的博士，现留在研究所任教，分别负责并发验证、程序理论和数据查询方向。龙环现为副教授、尹强现为长聘教轨副教授。 - David Rydeheard（曼彻斯特大学）：博士导师，连接了英国类型论和范畴语义的学术传统。

第二圈层（研究所内合作者）： - 陈翌佳（上交TCS所长）：同为BASICS资深成员，二人在研究所内构成"所长—资深教授"的协作关系。陈翌佳负责逻辑与复杂性方向，傅育熙负责并发与验证方向。 - 张驰豪（上交TCS副教授）：博士论文导师之一，从BASICS实验室走出的青年学者，现已独立发展采样算法和高维概率方向。 - 陆品燕（上海财经大学ITCS）：通过联合指导张驰豪建立的合作连接。

第三圈层（行政与学术影响圈层）： - 教育部计算机类专业教学指导委员会网络：通过副主任职务与全国计算机科学教育领域保持制度性联系。 - 国务院学位委员会学科评议组：曾任成员（2010-2014），在国家学位与研究生教育层面具有影响力。 - 上海市计算机学会：曾任理事长（2015-2018），在上海地区计算机科学社群中具有重要影响。 - 全国示范性软件学院院长联席会：曾任主席，在软件工程教育领域具有全国性影响力。

学术特色总结： 傅育熙的研究具有鲜明的"理论自主性"特征——他从χ-演算的原创性提出出发，逐步构建了"交互理论"这一统一框架，试图以模型无关的方式定义计算与交互的基本关系。这种追求理论体系完整性和原创性的取向，使他在国内理论计算机科学界具有独特的学术地位。同时，他通过长期担任系主任和软件学院院长等行政职务，在学科建设和人才培养体系方面做出了重要贡献。93名毕业研究生的培养规模和多位学生留校任教的传承模式，体现了BASICS实验室的学术生命力。作为TCS研究所中资历最深的教授，傅育熙构成了该所"并发理论—验证"方向的学术根基。

上交TCS 傅育熙 教授