总览
报告生成时间：2026年8月20日
研究所名称：理论计算机科学研究所（Institute for Theoretical Computer Science）
依托单位：上海交通大学计算机科学与工程系
一、研究所教师一览
上交大理论计算机科学研究所涵盖参数复杂性、并发理论、算法博弈论、量子计算、近似算法、采样计数、形式化方法、数据库系统等方向。部分教师同时隶属于BASICS实验室（Basic Theory and Application on Self-Control Computing System）和约翰·霍普克罗夫特计算机科学中心。以下12位教师信息直接取自上交大计算机系官网教师名录。
| 姓名 | 职位 | 主要研究方向 | 博士毕业院校/年份 | 报告文件 |
|---|---|---|---|---|
| 陈翌佳 | 长聘教授、所长 | 参数复杂性理论、有限模型理论 | SJTU + Freiburg | sjtu_tcs_chenyijia_network.md |
| 傅育熙 | 教授 | 进程代数、并发理论、交互理论 | SJTU | sjtu_tcs_fuyuxi_network.md |
| 董笑菊 | 副教授、副所长 | 并发理论、数据可视化 | SJTU | sjtu_tcs_dongxiaoju_network.md |
| 陶表帅 | 副教授 | 算法博弈论、社会选择、公平分配 | U Michigan, 2020 | sjtu_tcs_taobiaoshuai_network.md |
| 王启圣 | 长聘教轨副教授 | 量子算法与复杂性 | 清华大学，2022 | sjtu_tcs_wangqisheng_network.md |
| 杨宽 | 长聘教轨副教授 | 近似计数与采样、计算复杂性 | Oxford，2020 | sjtu_tcs_yangkuan_network.md |
| 张驰豪 | 长聘副教授 | 采样算法、MCMC理论、在线学习 | SJTU，2016 | sjtu_tcs_zhangchihao_network.md |
| 刘思学 | 长聘教轨副教授 | 亚线性算法、图算法、数据结构 | Princeton | sjtu_tcs_liusixue_network.md |
| 龙环 | 副教授 | 并发理论、进程代数、Petri网 | SJTU，2009 | sjtu_tcs_longhuan_network.md |
| 汪宇霆 | 长聘教轨副教授 | 形式化方法、程序验证 | U Minnesota | sjtu_tcs_wangyuting_network.md |
| 尹强 | 长聘教轨副教授 | 数据库系统、大数据管理 | SJTU | sjtu_tcs_yinqiang_network.md |
| 张宇昊 | 长聘教轨副教授 | 在线算法、近似算法、在线匹配 | 香港大学 | sjtu_tcs_zhangyuhao_network.md |
二、教师的角色定位
研究所所长与参数复杂性专家： 陈翌佳教授是研究所所长，拥有上海交大和德国弗莱堡大学双博士学位（弗莱堡导师为Jörg Flum，参数复杂性理论的奠基人之一）。他的研究方向为参数复杂性理论和有限模型理论，是国内该方向的代表性学者。
BASICS实验室创始人与并发理论元老： 傅育熙教授是BASICS实验室的创始人，研究方向为进程代数（chi-calculus）和交互理论。他在上交大任教数十年，培养了93名毕业研究生，是董笑菊、龙环等多位教师的博士导师，是研究所内学术辈分最高的成员。
BASICS传承与并发理论延续： 董笑菊（副所长，傅育熙博士生）和龙环（副教授，傅育熙博士生，2009年博士毕业）延续了BASICS实验室的并发理论方向。董笑菊近年研究重心转向数据可视化，龙环继续在并发理论和Petri网方向深耕。
算法博弈论方向： 陶表帅副教授2020年从密歇根大学安娜堡分校博士毕业（本科南洋理工大学数学），2021年加入上交大。他在EC 2022发表独立作者论文，研究方向涵盖算法博弈论、社会选择和公平分配。
量子计算方向： 王启圣副教授2022年从清华博士毕业，先后在名古屋大学和爱丁堡大学工作，2026年加入上交大。他入选2025年国家级青年人才计划，代表作为sample-to-query lifting和samplizer框架，发表于SICOMP和TIT。
计数采样方向： 杨宽副教授2020年从Oxford博士毕业（导师Leslie Ann Goldberg和Andreas Galantis，Clarendon Scholar），本科上交致远学院（导师陆品燕Pinyan Lu）。他在随机k-SAT计数方向有突破性成果（STOC 2025）。张驰豪副教授2016年从上交博士毕业（导师傅育熙/陆品燕），港中文博后，研究方向为采样算法和MCMC理论，与南大TCS组（尹一通等）有密切合作。
算法方向： 刘思学副教授来自Princeton/CMU，研究方向为亚线性算法和数据结构。张宇昊副教授来自港大（导师黄志毅），研究方向为在线算法和在线匹配。二人分别代表了不同子方向的算法研究力量。
形式化方法方向： 汪宇霆副教授来自明尼苏达大学（导师Gopalan Nadathur），与耶鲁大学邵中教授长期合作，在POPL连续发表4篇论文（2019/2022/2024/2025），以第一完成单位极为罕见。他主持CCF-华为胡杨林基金形式化专项项目（Rust编译验证）。
数据库与产业转化方向： 尹强副教授的经历独特——上交硕博（BASICS实验室出身）后转向数据库系统，曾在阿里巴巴达摩院任技术专家三年。他获华为火花奖（2025）、VLDB最佳论文亚军（2025）和EuroSys最佳Artifact奖（2022），是研究所中业界合作最深入的教师。
三、团队关系网络的整体观察
1. 研究所研究方向极为多元，从纯理论到系统到产业转化均有覆盖。 12位教师的研究方向涵盖参数复杂性（陈翌佳）、并发理论（傅育熙/董笑菊/龙环）、算法博弈论（陶表帅）、量子计算（王启圣）、计数采样（杨宽/张驰豪）、算法（刘思学/张宇昊）、形式化方法（汪宇霆）和数据库系统（尹强）。这种多样性在国内理论计算机科学研究所中相当突出，但也意味着团队内部的研究交叉相对有限——绝大多数教师之间的研究方向并不直接重叠。
2. BASICS实验室是研究所的历史根基，傅育熙→董笑菊/龙环的师承链是团队最清晰的内部传承。 傅育熙教授创建的BASICS实验室是研究所的前身和核心力量，他培养的董笑菊和龙环现在仍是研究所成员，形成了"傅育熙→董笑菊/龙环"的内部师承链。但近年来BASICS方向（并发理论）在团队中的比重有所下降，新加入的教师多为其他方向。
3. "陆品燕网络"在本团队中有显著影响。 杨宽和张驰豪两位教师都与上财ITCS的陆品燕有直接关联——杨宽本科时受陆品燕指导（致远学院），张驰豪博士期间陆品燕也是指导者之一。这一"陆品燕→上交TCS"的人才管道使得上交TCS与上财ITCS形成了跨校的学术纽带。
4. 清华大学是团队的重要人才来源。 王启圣（清华博士2022）和杨宽（上交致远/受陆品燕指导）都与清华体系有关联。这反映了姚期智创建的理论计算机科学人才培养体系对国内多所高校的辐射效应，与南大TCS组（栗师/黄棱潇/张天翼均出自清华）的情况类似。
5. 尹强的"学术界→产业界→学术界"路径是团队产业转化的独特案例。 他在阿里巴巴达摩院工作三年后回到上交任教，获华为火花奖和VLDB最佳论文亚军，主持CCF-蚂蚁联合基金。这种"理论出身→产业历练→回归学术"的路径使他成为团队中业界合作最深入的成员，也为团队带来了数据库系统和大数据管理这一偏应用的维度。汪宇霆的CCF-华为胡杨林基金项目则代表了团队在形式化方法方向与华为的产业合作。
数据来源与说明
本系列报告数据来源包括：上海交通大学计算机科学与工程系官网教师名录（cs.sjtu.edu.cn）、各教师个人主页、BASICS实验室官网、国科大/上交大教师主页系统、DBLP学者记录等。12位教师名单直接取自上交大计算机系官网"理论计算机科学研究所"教师名录。全体12份报告已经过独立的交叉事实核查环节，重点核实了傅育熙→董笑菊/龙环的师承关系、杨宽与陆品燕的关联、各教师职称表述的一致性（区分"长聘教授""长聘教轨副教授""长聘副教授"等不同职称序列）、以及BASICS实验室的描述准确性，修复了14处不一致，已修正于对应报告正文中。