上交TCS 陈翌佳长聘教授

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

一、学者基本信息

字段	内容
姓名	陈翌佳（Yijia Chen）
职称	长聘教授
所属单位	上海交通大学计算机科学与工程系
所属研究所	理论计算机科学研究所（BASICS实验室）
研究所职务	所长
电子邮件	yijia.chen@cs.sjtu.edu.cn
办公地址	电信群楼327室
研究方向	逻辑、计算复杂性、算法图论；特别是参数复杂性理论（Parameterized Complexity）与有限模型论（Finite Model Theory）
期刊编委	Logical Methods in Computer Science（LMCS）、Theory of Computing Systems（TOCS）
代表性荣誉	微软青年教授奖；ICALP最佳论文奖；CCF自然科学二等奖
公开主页	个人主页、致远学院教师页、CS学院教师页

陈翌佳是目前上海交通大学理论计算机科学研究所的所长，也是该所在参数复杂性理论和逻辑方向的核心学术带头人。他的学术定位可概括为：以数理逻辑为方法论基础，研究计算复杂性的精细结构与算法图论中的可判定性问题，贯穿"逻辑表达力—复杂性分类—算法设计"这一从基础理论到算法应用的全链条。他拥有上海交通大学计算机软件与理论博士和德国弗莱堡大学数学博士双博士学位，具有横跨计算机科学与数学的学术背景，这使他在逻辑与复杂性交叉领域形成了独特的研究视角。

二、教育背景与职业履历

2.1 教育经历

时间	学校	院系/专业	学位
2001.10 - 2004.09	德国弗莱堡大学（University of Freiburg）	数学系	数学博士
1995.09 - 2000.01	上海交通大学	计算机科学与工程系，计算机软件与理论	工学博士
1991.09 - 1995.07	上海交通大学	计算机应用学士、应用数学双学士	学士

陈翌佳的学术谱系具有鲜明的"双博士"特征。他在上海交通大学完成了计算机软件与理论方向的博士训练（1995-2000），随后赴德国弗莱堡大学数学系攻读第二个博士学位（2001-2004）。

弗莱堡时期的导师与合作网络。 根据其弗莱堡时期及此后发表的论文署名与致谢信息，陈翌佳在弗莱堡的博士导师为 Jörg Flum 教授。Flum 是参数复杂性理论的奠基人之一，与 Rodney Downey、Michael Fellows 同为该领域的开创者。Flum 与 Grohe 合著的 Parameterized Complexity Theory（Springer, 2006）是该领域的标准教材。陈翌佳与 Flum 的合作从弗莱堡时期延续至今，二人合著了多篇关于有界非确定性（bounded nondeterminism）、参数化模型检测（parameterized model-checking）和同态计数（homomorphism counts）的重要论文。

同时，陈翌佳与 Martin Grohe（当时在柏林洪堡大学，现任职于RWTH Aachen）建立了长期合作关系。Grohe 是有限模型论和算法图论领域的世界级权威。陈翌佳在2004年从弗莱堡毕业后曾在洪堡大学短期工作（2004.10-2005.9），这段时间与 Grohe 的地理接近性进一步巩固了二人的合作。

上海交大第一博士期间的信息。 陈翌佳1995-2000年在上海交大攻读计算机软件与理论博士学位。从时间线和同院系关系推断，他与同在BASICS实验室的资深教授傅育熙（Yuxi Fu）在组织上属于同一学术体系，但公开资料未明确标注其第一博士导师的具体身份。

2.2 职业履历

时间	单位	职务/职位
2021.04 - 至今	上海交通大学计算机科学与工程系	长聘教授
2014.10 - 2021.03	复旦大学计算机科学技术学院	教授
2011.01 - 2014.09	上海交通大学计算机科学与工程系	教授
2005.10 - 2010.12	上海交通大学计算机科学与工程系	副教授
2004.10 - 2005.09	德国柏林洪堡大学计算机系	研究助理
2001.10 - 2004.09	德国弗莱堡大学数学系	研究助理
2000.03 - 2001.09	法国南巴黎大学（Université Paris-Sud）计算机系	博士后

陈翌佳的职业生涯体现了"出国—回国—出国—回国"的国际化学术路径。他2000年从上海交大博士毕业后先赴法国南巴黎大学做博士后（2000-2001），随后赴德国弗莱堡大学攻读第二个博士学位（2001-2004），毕业后在洪堡大学短期工作。2005年回到上海交大任副教授，2011年晋升教授。值得注意的是，他在2014年转任复旦大学教授长达6年半，直至2021年4月回到上海交大任长聘教授并担任理论计算机科学研究所所长。

2.3 代表性成果与研究演进

陈翌佳的研究议程可划分为三个阶段：

阶段	时间	核心主题	代表性合作者
弗莱堡—洪堡期	2001-2005	参数复杂性的机器刻画与逻辑描述；W-层次结构	Jörg Flum、Martin Grohe
上交—复旦期	2005-2021	参数计数复杂性；k-边诱导子图问题；一阶逻辑的算法方面	Bingkai Lin、Chihao Zhang、Moritz Müller
回归上交期	2021-至今	一阶逻辑与同态计数；FO的计算表达力；与图神经网络的连接	Jörg Flum、Mingjun Liu、Zhiyang Xun

以下选取若干关键节点论文：

时间	代表成果	合作者	研究意义
2003	Bounded Nondeterminism and Alternation in Parameterized Complexity Theory，CCC 2003	Jörg Flum、Martin Grohe	给出 W[P] 和 AW[P] 等参数复杂性类的机器刻画与逻辑描述，是该领域的奠基性工作之一。
2012/2016	The parameterized complexity of k-edge induced subgraphs，ICALP 2012 / Information and Computation 2016	Bingkai Lin	证明 k-边诱导子图问题是固定参数可解的（FPT），解决了 Leizhen Cai 提出的一个公开问题；同时证明其计数版本是 W[1]-hard。
2014	Counting Problems in Parameterized Complexity，Tsinghua Science and Technology	Chihao Zhang	综述参数计数复杂性的框架与二分定理，系统梳理该方向的理论基础。
2025	On Algorithms Based on Finitely Many Homomorphism Counts，Information and Computation	Jörg Flum、Mingjun Liu、Zhiyang Xun	刻画了一阶逻辑前缀类中哪些查询可由有限个同态计数决定，并将此与图算法、复杂性和图神经网络建立联系。

从论文合作者结构可以看出：陈翌佳的研究始终以 Jörg Flum 为最核心的长期合作者，这一合作关系从弗莱堡时期延续至今已超过20年。同时，他的合作网络逐步从纯逻辑/复杂性向算法图论和新兴的图神经网络方向拓展。

三、学生培养情况

3.1 指导的研究生

陈翌佳的个人主页未提供完整的学生名单页面，但根据公开论文署名、致远学院教学记录及搜索可得的信息，可以确认以下学生培养关系：

学生	培养关系	研究线索	证据强度
张驰豪（Chihao Zhang）	博士期间合作指导关系（陈翌佳为BASICS实验室核心教师，张驰豪2012-2016在上交攻读博士，二人合著参数计数复杂性综述）	参数计数复杂性	中等——公开论文合著关系明确，但张驰豪的正式博士导师为傅育熙和陆品燕
Mingjun Liu	博士/研究生（参与2025年同态计数论文）	一阶逻辑与同态计数	较强——论文署名为近期合作者
Zhiyang Xun	博士/研究生（参与2025年同态计数论文）	一阶逻辑与同态计数	较强——论文署名为近期合作者

3.2 教学与人才培养

陈翌佳在上海交通大学致远学院（ACM班和约翰·霍普克罗夫特班）长期承担核心基础课程教学，包括：

线性代数（荣誉）：2022-2025学年持续开设，覆盖ACM班和Hopcroft班
算法I：2021-2025学年持续开设
数理逻辑：2018-2021学年开设，面向ACM班

这些课程的持续开设表明陈翌佳在致远学院拔尖人才培养体系中扮演着重要角色，特别是在为ACM班和Hopcroft班学生提供理论计算机科学的基础训练方面。致远学院是上海交通大学培养顶尖计算机科学人才的荣誉学院，陈翌佳的教学工作直接影响了多届理论计算机科学方向学生的成长。

3.3 学生培养成果总结

由于陈翌佳的个人主页未提供完整的学生列表，且其曾在复旦大学任教6年半（2014-2021），部分博士生培养可能在复旦期间完成。从可获得的公开信息来看，他的学生培养呈现"理论导向—国际发表"的特征，学生在参数复杂性、逻辑与算法图论等方向产出了高质量工作。

四、学术合作网络

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

所长与团队构建者。 陈翌佳自2021年4月回到上海交通大学并担任理论计算机科学研究所所长。根据学院教师名录，研究所当前成员包括：

教师	职称	研究方向	与陈翌佳的关系
陈翌佳	长聘教授、所长	逻辑、复杂性、算法图论	—
董笑菊	副教授、副所长	并发理论、形式化方法、可视化	副所长，协助管理
傅育熙	教授	并发系统建模与验证	同为BASICS资深教授，长期同事
刘思学	长聘教轨副教授	图算法	图算法方向同属一个研究线
龙环	副教授	并发系统建模与验证	同研究所成员
陶表帅	副教授	计算经济学、社会选择、公平分配	同研究所成员
王启圣	长聘教轨副教授	量子算法与复杂性	同研究所成员
汪宇霆	长聘教轨副教授	自动化验证	同研究所成员
杨宽	长聘教轨副教授	计数与采样、计算复杂性	同研究所成员，同属算法设计与分析方向
尹强	长聘教轨副教授	数据查询处理和优化	同研究所成员
张驰豪	长聘副教授	采样算法、概率论、高维概率	同研究所成员，早期有合作论文
张宇昊	长聘教轨副教授	图算法、在线算法	图算法方向同属一个研究线

组内合作关系。

与张驰豪（Chihao Zhang）：二人于2014年合著了 Counting Problems in Parameterized Complexity 综述（发表于 Tsinghua Science and Technology），系统梳理了参数计数复杂性的理论框架。张驰豪的博士导师虽为傅育熙和陆品燕，但与陈翌佳在BASICS实验室的学术环境中形成了合作。张驰豪现同为TCS研究所成员。
与杨宽（Kuan Yang）：同属研究所的算法设计与分析方向，特别是在计数算法方向有研究交集。杨宽的研究方向为计数与采样、计算复杂性，与陈翌佳在参数计数复杂性方面存在方法论上的互补。
与傅育熙（Yuxi Fu）：同为BASICS实验室资深教授，陈翌佳1995-2000年在上交攻读第一博士学位期间，傅育熙已是该实验室的核心成员。二人长期在同一学术体系中工作。

4.2 跨机构：国内合作

复旦大学网络。 陈翌佳于2014年10月至2021年3月在复旦大学计算机科学技术学院任教授，历时6年半。复旦大学的计算机理论方向有黄增峰等学者从事概率方法与组合优化研究。陈翌佳在复旦期间必然建立了深厚的校内合作网络，虽然具体合作论文信息需进一步核实。
与林冰凯（Bingkai Lin）的合作。 林冰凯是参数复杂性领域的重要学者，二人在k-边诱导子图问题上合作发表了ICALP 2012论文及后续期刊版本（Information and Computation, 2016）。林冰凯的机构归属（东京大学/上海交通大学）随时间变化，这一合作关系连接了中日两国在参数复杂性领域的学术网络。
CCF学术活动网络。 根据公开报道，陈翌佳参与了CCF走进高校系列学术报告等活动。2026年4月，他与南京大学尹一通教授、上海财经大学唐志皓副教授一同在浙江师范大学做CCF学术报告，体现了国内理论计算机科学社群的活跃互动。他还在中山大学逻辑与认知研究所做学术报告（2025年1月），报告主题为"A halting problem and the MRDP Theorem"，体现了其与国内逻辑学社群的学术连接。
民革复旦大学委员会活动。 根据复旦大学统战部网站，陈翌佳曾以"上海交通大学计算机学院研究员"身份为复旦大学民革委员会开设科普讲座"计算机科学中的一些神奇数学"，从图灵、冯·诺依曼的理论出发讲解计算机科学的数学本源。

4.3 国际合作

陈翌佳的国际合作网络高度集中于欧洲理论计算机科学社群，特别是德国学术体系：

Jörg Flum（弗莱堡大学）——最核心的长期合作者。 Flum 是参数复杂性理论的奠基人之一，陈翌佳在弗莱堡的博士导师。二人的合作关系从2001年延续至今已超过20年，合著论文涵盖参数复杂性的机器刻画（CCC 2003）、参数化模型检测、以及近期的一阶逻辑与同态计数（Information and Computation, 2025）。这一长期合作关系是陈翌佳学术网络中最核心的国际连接。
Martin Grohe（柏林洪堡大学 → RWTH Aachen）——重要合作者。 Grohe 是有限模型论和算法图论领域的世界级权威，现任RWTH Aachen教授。陈翌佳与Grohe的合作始于洪堡大学时期（2004-2005），二人合著了多篇关于参数复杂性类逻辑描述和机器刻画的重要论文（如CCC 2003）。Grohe 后来在图同态、逻辑与图结构理论方面做出了开创性贡献，这些工作与陈翌佳当前关于同态计数的研究高度相关。
Moritz Müller——合作者。 Müller 是参数复杂性领域的活跃研究者，与陈翌佳在参数化模型检测等方向有合作。
法国南巴黎大学博士后网络。 陈翌佳2000-2001年在法国南巴黎大学（Université Paris-Sud）计算机系做博士后，这一经历连接了法国理论计算机科学社群。南巴黎大学的LRI实验室是法国理论计算机科学的重要基地。
亚洲逻辑会议网络。 陈翌佳曾在亚洲逻辑会议（Asian Logic Conference）上做邀请教程"Basic Descriptive Complexity"，体现了其在亚太地区逻辑与理论计算机科学社群中的学术影响力。在12th Asian Logic Conference上，他与Martin Grohe同被邀请做tutorial，分别讲解描述复杂性理论和图的逻辑方面。

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

陈翌佳的研究属于纯理论计算机科学范畴，主要面向学术前沿问题，其与产业界的直接合作相对有限。以下为可确认的业界关联：

微软青年教授奖（Microsoft Young Professor Award）。 陈翌佳曾获微软青年教授奖，该奖项是微软研究院面向全球青年计算机科学教师的资助计划，表明其早期研究曾得到微软学术体系的认可和支持。不过该奖项更多是对学术成就的认可，并非具体项目合作。
CCF自然科学二等奖。 该奖项由中国计算机学会颁发，虽非直接业界合作，但体现了其研究成果在国内计算机科学界的评价。

总体而言，陈翌佳的学术影响力主要体现在学术共同体内部，而非通过产业合作转化。这与理论计算机科学的学科特点一致——其研究成果的影响更多通过理论框架和概念工具的传播来实现，而非直接的技术转化。

六、重要奖项与学术兼职

6.1 重要奖项

时间	奖项/荣誉	颁发机构	备注
—	微软青年教授奖（Microsoft Young Professor Award）	微软研究院	证据来源：百度百科词条
—	ICALP最佳论文奖	ICALP会议	证据来源：百度百科词条；具体年份待确认
—	CCF自然科学二等奖	中国计算机学会	证据来源：百度百科词条

6.2 学术兼职

类型	具体职务	备注
期刊编委	Logical Methods in Computer Science（LMCS）	理论计算机科学领域重要期刊
期刊编委	Theory of Computing Systems（TOCS）	Springer出版，理论计算机科学综合期刊
研究所所长	上海交通大学理论计算机科学研究所	2021年4月至今
CCF学术活动	参与CCF走进高校系列学术报告	2026年4月在浙江师范大学做报告

陈翌佳担任两本国际理论计算机科学期刊的编委，这在理论计算机科学领域具有相当的学术声誉。LMCS 是该领域的重要开放获取期刊，TOCS 则是 Springer 旗下的老牌理论期刊。

七、Connection圈层总结

陈翌佳的学术关系网络呈现出以欧洲理论计算机科学传统（特别是德国弗莱堡—洪堡学术谱系）为核心，以上海交通大学—复旦大学为国内基座，以参数复杂性理论为学术纽带的圈层结构。

第一圈层（核心合作者）： - Jörg Flum（弗莱堡大学）：博士导师、20余年长期合作者，参数复杂性理论的共同奠基者。这是陈翌佳学术网络中最核心、最持久的关系。 - Martin Grohe（RWTH Aachen，原洪堡大学）：重要合作者，有限模型论与算法图论的权威，从洪堡时期延续至今的合作关系。

第二圈层（研究所内部与国内合作者）： - 张驰豪（上交TCS研究所）：早期合作者（参数计数复杂性综述），现为同研究所同事。 - 杨宽（上交TCS研究所）：同属计数算法方向，研究所同事。 - 傅育熙（上交TCS研究所）：BASICS实验室资深教授，长期同事。 - 林冰凯（Bingkai Lin）：k-边诱导子图问题的合作者，连接中日参数复杂性研究网络。 - 复旦大学理论计算机科学社群：2014-2021年任教期间建立的校内网络。

第三圈层（学术影响圈层）： - 致远学院ACM班/Hopcroft班学生群体：通过线性代数、算法、数理逻辑等核心课程的持续教学，影响多届理论计算机科学方向学生。 - 国内TCS社群：通过CCF学术活动、CCF自然科学奖等渠道与国内理论计算机科学社群保持连接。 - 中山大学逻辑与认知研究所等逻辑学社群：通过学术报告等形式保持与国内逻辑学界的联系。

学术特色总结： 陈翌佳的研究具有鲜明的"逻辑驱动"特征——从参数复杂性类的逻辑刻画出发，经由有限模型论和描述复杂性理论，最终延伸至一阶逻辑与同态计数的算法应用及其与图神经网络的交叉。他的学术网络以纯理论为核心，以长期国际合作（特别是与Flum和Grohe的合作）为支柱，同时通过教学和研究所管理在国内理论计算机科学人才培养中发挥重要作用。作为上交TCS研究所所长，他在团队建设和学科发展方向上具有战略影响力。

上交TCS 陈翌佳 长聘教授