上交TCS 龙环 副教授
报告生成时间：2026年8月20日
个人主页：https://cs.sjtu.edu.cn/cse/en/PeopleDetail.aspx?id=254
所属团队：上海交通大学计算机科学与工程系 / 理论计算机科学研究所
一、学者基本信息
| 字段 | 内容 |
|---|---|
| 姓名 | 龙环（Huan Long） |
| 职称 | 副教授 |
| 所属单位 | 上海交通大学计算机科学与工程系 |
| 所属研究所 | 理论计算机科学研究所（BASICS实验室） |
| 电子邮件 | longhuan@cs.sjtu.edu.cn |
| 办公地址 | 电院3号楼327室 |
| 办公电话 | +86-21-3420-5060 |
| 实验室 | BASICS实验室 |
| 研究方向 | 并发理论（Concurrency Theory）；进程代数及其应用（Process Calculi and Applications）；形式化方法；Petri网；膜计算 |
二、教育背景与职业履历
教育背景
| 时间 | 学校 | 院系/专业 | 学位 |
|---|---|---|---|
| 2009年 | 上海交通大学 | 计算机系 | 博士 |
龙环于2009年在上海交通大学计算机系获得博士学位，博士期间在BASICS实验室从事并发理论研究。
职业履历
| 时间 | 单位 | 职位 |
|---|---|---|
| 2009年至今 | 上海交通大学计算机科学与工程系 | 副教授（从讲师晋升） |
龙环自2009年博士毕业后即留校任教，长期在上海交通大学BASICS实验室工作。根据电院"教书育人 科研创新"表彰大会的介绍，龙环"工作以来主持和参与多项国家级项目，任教多门计算机专业及基础课程，工作得到学生以及国内、国际专家的广泛好评"。
三、学生培养情况
龙环作为副教授具有指导研究生的资格。从论文合作关系来看，她指导的学生参与了并发理论、进程代数等方向的研究。在BASICS实验室的框架下，龙环与傅育熙教授等共同构成了并发理论方向的学生指导团队。
具体的独立指导学生名单在公开来源中未详细列出，但从合作论文中可以看到她与多位学生的合作（如与徐贤等指导学生开展高阶进程的研究）（证据强度：中等）。
四、学术合作网络
4.1 所在团队内部合作
龙环的学术合作主要集中在BASICS实验室内部：
- 傅育熙（教授，BASICS实验室创始人）：龙环的学术导师和最重要的合作者。两人在并发理论、进程代数、互模拟等方向有大量合作论文。傅育熙是BASICS实验室的学术领袖，龙环是其核心团队成员。
- 董笑菊（副教授，副所长）：研究方向高度重叠，均从事并发理论、进程代数、膜计算等方向。两人有直接合作论文，如关于P系统排序问题、有界Petri网与进程代数表示等。
- 徐贤（BASICS实验室成员）：与龙环有紧密的合作关系，共同发表了关于高阶进程名称参数化计算能力的论文（ICE 2015），以及组织P系统变体等方面的论文。
- 尹强（副教授）：尹强早期的论文中与龙环有合作（如ICE 2015论文），属于BASICS实验室内部的合作传承。
4.2 跨机构合作
- 徐贤（原BASICS实验室成员，现可能已调离或独立）：作为龙环的重要合作者，两人在高阶进程理论方面有深入合作。徐贤的个人主页显示其研究方向为并发理论和进程理论（一阶和高阶π-演算）。
4.3 国际合作
从公开可获取的信息来看，龙环的国际合作论文相对较少，主要以BASICS实验室内部合作为主。她的研究工作发表在EPTCS、Journal of Shanghai Jiao Tong University等期刊和会议论文集中。并发理论和进程代数是一个相对专注的学术社区，龙环在这一社区内有稳定的学术贡献（证据强度：中等，基于公开论文记录）。
五、业界合作关系深度分析
龙环的研究方向——并发理论、进程代数、形式化方法——属于理论计算机科学的基础研究方向，与业界直接合作的可能性相对有限。目前公开信息中未检索到与企业的联合项目或横向合作。
不过，形式化方法在安全攸关系统（如航空航天、自动驾驶、工业控制）的验证中有重要应用价值。龙环在BASICS实验室的形式化方法研究积累，为未来可能在安全验证领域的应用奠定了理论基础。
六、重要奖项与学术兼职
奖项与荣誉
- 龙环曾获得上海交通大学电院"教书育人 科研创新"表彰大会的多项荣誉，体现了其在教学和科研方面的双重贡献。
学术服务
- 主持和参与多项国家级项目（国家自然科学基金等）
- 任教多门计算机专业及基础课程，包括并发理论等相关课程
教授课程
龙环任教多门计算机专业及基础课程（具体课程名称在公开来源中未详细列出，但包括并发理论相关的研究生课程以及计算机基础课程）。
七、Connection圈层总结
龙环的学术关系网络呈现出一个"稳定深耕型"本土学者的典型特征：
核心圈层：以傅育熙教授为学术领袖的BASICS实验室并发理论研究团队。龙环自博士阶段起即在BASICS实验室学习工作，与傅育熙、董笑菊、徐贤等构成了一个紧密的学术共同体，长期致力于并发理论、进程代数、膜计算等方向的系统性研究。
研究方向定位：在理论计算机科学研究所的研究版图中，龙环与傅育熙共同负责"形式化验证——并发系统建模与验证"方向，这是研究所的核心研究方向之一。她的研究聚焦于进程演算的理论基础，包括互模拟理论、表达力比较、高阶进程计算能力等。
学术特色：作为上海交通大学本土培养的博士，龙环展现了"深耕母校、持续贡献"的学术路径。她在BASICS实验室十余年的持续工作，为并发理论方向的学术传承和教学体系做出了重要贡献。
国际化程度：与合作论文主要集中在实验室内部不同，龙环的研究发表于EPTCS等国际会议论文集，在国际并发理论社区有一定学术存在，但整体国际化程度中等偏低。
发展阶段：龙环处于学术生涯的成熟期，研究方向稳定，教学经验丰富。未来的发展空间在于拓展并发理论在新型计算范式（如量子并发、分布式系统验证）中的应用，以及加强国际合作。